Fred is helping us in designing Typedefs, both theoretically (category theory wise) and practically (implementation wise).
Education: PhD Computer Science, Swansea University
Expertise: Data structures, functional programming, F-algebras
Location: Glasgow, Scotland
Publications: DBLP Arxiv
Fredrik is a research fellow in the Mathematically Structured
Programming Group (MSPG) at the University of Strathclyde. His research
advances the foundations of correct-by-construction software
development. His interests include constructive mathematics, type
theory, and open game theory.