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.
Prof. Glynn Winskel works on mathematical models of interaction via distributed games and event structures.
Dr. Guillaume Allais is interested in efficient runtime representations, generic programming, proof automation, and user experience.
See our people page for a list of PhD students and alumni.