Neil Ghani

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.

Role: 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
[] website
[] dblp
[] twitter
[] arxiv