Neil is helping us with the design of Typedefs. He's moreover helping us to link open games with the Statebox framework.
Education: PhD Computer Science, University of Edinburgh
Expertise: Category theory, data structures, open games
Location: Glasgow, Scotland
Publications: DBLP Arxiv
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.