Fred is helping us in designing Typedefs, both theoretically (category theory wise) and practically (implementation wise).

Name: Fredrik Nordvall Forsberg
Education: PhD Computer Science, Swansea University
Expertise: Data structures, functional programming, F-algebras
Location: Glasgow, Scotland
Github: fredrikNordvallForsberg
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.