Neil is Professor of Computer Science at the University of Strathclyde, where he founded the Mathematically Structured Programming Group (MSPG). His research aims to understand the structure of computation, and to turn that understanding into the next generation of programming languages. This includes research in category theory, the lambda calculus, and compositional game theory.
Education: PhD Computer Science, University of Edinburgh
Expertise: Category theory, data structures, open games
Location: Glasgow, Scotland