Fredrik Nordvall Forsberg

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.

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