Dr. Robert Atkey is interested in programming languages. He is interested in the semantics of richly typed programming languages, especially those with substructural (linear, affine) type systems for resource control. He is also interested in the construction of semantically precise domain specific languages for Machine Learning, Scientific Computing, and Data Science.
Prof. Neil Ghani is one of the co-founders of the MSP group. He is currently working on the theory of Open Games and applications of Category Theory to Machine Learning. He has previously worked on advanced data types, containers, induction recursion, parametricity and all areas of category theory.
Dr. Jules Hedges is interested in game theory, economics and machine learning using tools of category theory and functional programming.
Dr. Clemens Kupke is currently working on both coalgebras and logics for knowledge representation, learning and verification.
Prof. Radu Mardare is interested in mathematical tools for modelling and reasoning about systems, especially in the use of metric spaces for quantitative and probabilistic reasoning.
Dr. Conor McBride is currently working on dependently typed programming, exposing implicit and hidden structure in programs. He is also interested in extending the functionality of Haskell so that it can mimic the dependently-typed style of programming.
Dr. Fredrik Nordvall Forsberg is interested in Martin-Löf Type Theory, constructive mathematics, and category theory.
Dr. William Waites works on modelling infectious diseases using tools such as stochastic graph rewriting and evolutionary game theory.
Prof. Glynn Winskel works on mathematical models of interaction via distributed games and event structures.
Jérémy Ledent is currently working on applying category theory to model game theory in a compositional way.
Previous (and still ongoing) research is related to topological methods for the study of concurrent programs. In particular, developing methods for proving the impossibility of solving distributed tasks, based on combinatorial topology and epistemic logic.
Jade Master is currently working on the coalgebraic foundations of quantitative formal verification and has recently completed a PhD at University of California Riverside, studying categorical Petri nets and network theory.
See our people page for a list of PhD students and alumni.