See below a list of supervisors, key words and research areas.
In addition to the supervisors listed here, you could contact any member of the Department of Mathematics whose research area interests you.
Keywords: Machine learning, applied statistics, public health, deep learning
Research area: My research is on scalable methods and flexible models for spatiotemporal statistics and Bayesian machine learning, applied to public policy and social science. I’ve worked on application areas that include public health, crime, voting patterns, filter bubbles / echo chambers in media, the regulation of machine learning algorithms, and emotion.
Keywords: Algebraic geometry, moduli problems, derived categories, mirror symmetry
Research area: I work in bits of algebraic geometry related to theoretical physics, such as enumerative algebraic geometry, mirror symmetry, and categories of branes.
Keywords: Bayesian statistics, public health, HIV, phylogenetics
Research area: Biostatistical methods to estimate how infectious diseases spread.
Keywords: Non-equilibrium statistical mechanics, stochastic dynamics in life sciences, biomathematics, theoretical soft matter physics, fluid dynamics
Research area: Our research group is interested in understanding collective and emergent behaviours in out-of-equilibrium and disordered systems. Employing analytical and computational tools from non-equilibrium statistical mechanics, soft condensed matter physics and stochastic processes, our work finds applications in a variety of settings in physical, life and social sciences. Examples include statistical mechanics of active matter, collective dynamics in tissues, jamming in disordered systems, random walks in complex environments, stochastic models of opinion formation, swelling and drying dynamics of gels. Combining theory and modelling, we try to work closely with experimentalists.
Keywords: General relativity, black holes, kinetic theory, geometric analysis, partial differential equations.
Research area: I am interested in understanding the asymptotic behaviour of solutions of certain geometric hyperbolic and kinetic equations arising in mathematical physics, such as the Einstein equations of general relativity and the Boltzmann and Vlasov--Maxwell equations of kinetic theory. One current topic of very active research is the famous black hole stability problem in general relativity. A common theme in such problems is to exploit a quantitative understanding of geometric properties of the equations in order to prove analytic results. Research students will have the chance gain experience with the cutting edge techniques currently being employed to address these types of questions.
Keywords: Biomathematics, Computational Biology, Systems Biology, Bioinformatics.
Research area: I am broadly interested in understanding what enables cells to grow, divide, transmit signals, process information and make decisions in spite of the inherent stochasticity in the underlying biochemical networks. The goal of my research is to identify the principles that govern the design and robust function of networks of interacting genes and proteins. Such design principles are ones that have been consistently chosen by evolution. Biological systems are too complex to be understood by studying their individual components alone. Systems-level study of biological networks demands a theoretical approach. Through the application of tools from physics, mathematics and bioinformatics, I study the temporal, spatial and stochastic dynamics of biochemical network models using analytical and computational methods. Experimental advances in high-throughput methods in molecular biology provide systems-level data, while single cell studies quantify variations in biomolecular levels and their corresponding phenotypic effects. Together, these data provide an excellent opportunity for system-level and quantitative studying of mechanism of robust cellular function and also phenotypic variability.
Keywords: Algebraic geometry, birational geometry.
Research area: My research area is birational geometry. More specifically, I am interested in the Minimal Model Program, in algebraic geometry in positive characteristic and in the birational geometry of foliations on complex varieties.
Keywords: Computational Statistics, Machine Learning, Bayesian Inference, Biostatistics
Research Area: The core of my research lies in statistical machine learning and computational statistics methodology motivated by biomedical problems. I am particularly interested in addressing how novel statistical and computational approaches and algorithms can aid in the analysis of real-world biomedical data.
Keywords: stochastic differential equations, statistical mechanics, Markov Chain Monte Carlo, agent based modelling, optimal control for PDEs
Research Area: Mathematical statistical mechanics, computational statistical mechanics, analysis of algorithms for sampling and for optimisation, analysis of dynamical models exhibiting phase transitions, mathematical modelling in the social sciences, in particular models for opinion formation, optimal control for linear and nonlinear Fokker-Planck equations, numerical methods for linear and nonlinear Fokker-Planck equations
Keywords: Numerical analysis, scientific computing, numerical weather prediction, finite element methods, time parallel algorithms, data assimilation.
Research Area: My research in numerical analysis and scientific computing focusses on the design, analysis and implementation of numerical methods for weather forecasting, ocean modelling and climate simulation. Recently, I have been developing compatible finite element methods and time parallel algorithms for these applications. I am motivated by the geometric variational structure of fluid equations, which are also relevant for algorithms for exploring the geometric structure of shapes and images. I also develop numerical algorithms for probabilistic forecasting and data assimilation.
Keywords: Geometric Mechanics, Applied Mathematics, Geophysical Fluid Dynamics, Shape Analysis, Integrable Systems
Research Area: Stochastic PDEs for GFD and Nonlinear waves
Keywords: Computational mathematics, simulation science, finite element, ocean, atmosphere, climate
Research Area: My team develops mathematical software which is used around the world to simulate physical phenomena, especially those of the natural world. Our work bridges the gap between Mathematica-style symbolic computation and high performance computing, enabling scientists to write maths, and have the simulation happen automatically. Our system, the Firedrake project, is used to simulate a huge range of processes, with a particular focus on natural phenomena such as the flow in the atmosphere and ocean. Research students working with us have the chance to push the boundaries of what is possible in mathematical simulation, and to make contributions that will have real impact on the work of many simulation scientists.
Keywords: Asymptotic analysis and singular perturbation theory, wave propagation, microhydrodynamics.
Research Area: Our goal is to develop asymptotic models in order to address fundamental open problems arising in applied physics and engineering. Our work spans a broad spectrum of scientific interests including wave diffraction in micro-structured media (e.g., acoustic and photonic crystals and metamaterials, plasmonics) and microhydrodynamics (e.g., superhydrophobic surfaces, active suspensions, electrohydrodynamics). We focus our efforts on identifying and exploiting the singular limits in the problem, innovating and adapting classical singular perturbation techniques such as matched asymptotic expansions, WKB and ray methods, as well as homogenisation and other multiple-scale methods. This approach is very powerful when seeking a simple description of phenomena characterised by multiple length and time scales or near-singular effects (e.g., resonance). Such asymptotic analyses often furnish surprisingly simple asymptotic formulae (typically power laws and logarithms) capable of explaining numerical or experimental findings; in other cases the result is a reduced model that is easier to study numerically. Many of the problems we work on involve partial differential equations, with geometry playing a key role. For example, we have an ongoing funded project on optical (“plasmonic”) resonances of metallic nanoparticles; the key mathematical problem here is an eigenvalue problem, derived from a long-wavelength limit of Maxwell’s equations, determining the resonance frequencies of the particle as a function of the particle’s geometry.
Keywords: Quantum theory, mathematical physics, chaos, dynamics
Research Area: The physical laws of the world of our daily experiences ("classical physics") are very different from those of quantum mechanics governing the behaviour of microscopic particles such as electrons and atoms. Given that the world is ultimately made up of these small "quantum" building blocks, this discrepancy in behaviour is a little puzzling. A focus of the work of our group is trying to understand the connections between quantum and classical physics better. We also work on certain open quantum systems, where particles can leave or enter the system of interest. We describe these using different models, such as complex energies and non-Hermitian Hamiltonians, as well as Lindblad equations. We like to think our ideas are useful in cold atoms, optics, materials, and other applications.
Key words: Nonautonomous and random dynamical systems, bifurcation theory
Research Area: In contrast to classical dynamical systems, the time evolution of a nonautonomous or random dynamical system is influenced by an independent process (which reflects either changes in the rules governing the system or randomness available in the system). The importance of nonautonomous and random dynamical systems is illustrated by the fact that a significant number of real-world applications, ranging from climate, ecology to finance, are governed by time-dependent inputs or subjected to random perturbations, and the traditional mathematical theory fails to address dynamical changes in these contexts. My research group develops tools to understand qualitative properties of these systems, with main focus on bifurcation theory, in order to understand and characterise changes in the behaviour of the system when external parameters are varied.
Keywords: Formal proof verification, Lean theorem prover
Research Area: Me and a small but growing team of mathematicians and computer scientists from across the world are developing a mathematical database of computer-checked theorems using a computer program called the Lean Formal Proof Verification System. To get a feeling for what it's like try the [natural number game](http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/). I am particularly interested in formalising algebra, algebraic geometry and number theory. [here is a list](https://github.com/kbuzzard/xena/blob/master/many_maths_challenges.txt) of various things I would like to formalise in Lean. We are gamifying mathematics.
Keywords: Theoretical Physics, Quantum Superfluids, Topological Insulators
Research Area: Condensed Matter Theory, Quantum Mechanics
Keywords: Statistical cyber-security, changepoint analysis, dynamic networks, computational Bayesian inference, meta-analysis
Research Area: Development of statistical methods for anomaly detection in security applications, in collaboration with government, industry and US National labs. Particular focus on methods using changepoint detection, latent factor models for networks, combining evidence from weak signals.
Keywords: Biostatistics, network analysis, mitochondrial systems biology
Research Area: The `Systems & Signals’ group works on a broad range of topics by applying mathematics to the natural world, especially the biological sciences. For example, we use statistical methods to investigate single-cell RNA sequencing data and so uncover the biological origins of disease and ageing. We also use tools from network science to gain an understanding of biological pathways, specifically in mitochondria. Research projects will have a strong computational component but depending on the student’s interest they can be complemented by some analytical work.
Keywords: Logic, Model theory, Geometric stability theory
Research Area: Geometric stability theory aims to classify mathematical structures, according to logical properties, to create a “geography of mathematical structures." The idea is to show that whole groups of seemingly different mathematical structures share certain basic properties; usually combinatorial properties of sets defined by formulas in the chosen first order language. The real strength of modern model theory is in using what is essentially a combinatorial geography to reach geometric conclusions about areas of the geography (for example the existence of dimension). Research summer students would get the chance to learn about a specific area of this classification. The ultimate aim of a project would be to prove something new about either a specific area, or show where a specific structure fits into the geography.
Keywords: Metamaterials, Waves, Acoustics, Scientific Computation
Research Area: We aim to model, design and understand the next generation of designer materials and surfaces. In particular we study how to send light, or sound, to places of our choosing using small devices. Our research uses pieces of pure mathematics (group theory and topology), applied mathematics and scientific computation (modelling, efficient numerical simulation) to generate fast and accurate results. There are many real-world applications to cloaking, vibration control, energy harvesting, soundproofing and antennas.