Faculty

Dr Robert Atkey

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.

Professor Neil Ghani

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

Dr Jules Hedges is interested in game theory, economics and machine learning using tools of category theory and functional programming.

Dr Clemens Kupke

Dr Clemens Kupke is currently working on both coalgebras and logics for knowledge representation, learning and verification.

Dr Conor McBride

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

Dr Fredrik Nordvall Forsberg is interested in Martin-Löf Type Theory, constructive mathematics, and category theory.

Guillaume Allais

Dr Guillaume Allais is interested in efficient runtime representations, generic programming, proof automation, and user experience.

Research associates

Visit our people page for a list of PhD students and alumni.