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