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.