If you made any changes in Pure these will be visible here soon.

Personal profile

Personal Statement

I am a postdoctoral researcher in the Mathematically Structured Programming group.

My research interests include Martin-Löf Type Theory, constructive logic and mathematics and category theory.

See also my personal web page.

Education/Academic qualification

Doctor of Philosophy, Swansea University

Master of Mathematics, Uppsala University

Fingerprint Dive into the research topics where Fredrik Nordvall Forsberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles
Algebra Engineering & Materials Science
Polymorphism Engineering & Materials Science
Semantics Engineering & Materials Science
Inductive Definitions Mathematics
Type Theory Mathematics
Game theory Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Recursive functions Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2019 2023

Research Output 2009 2019

Open Access
File
Game theory
Probability distributions

Universal properties for universal types in bifibrational parametricity

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 30 Jun 2019, In : Mathematical Structures in Computer Science. 29, 6, p. 810–827 18 p.

Research output: Contribution to journalArticle

Open Access
File
Uniformity
Lemma
Semantics
Theorem
Model

Prizes

ETAPS 2016 EATCS best paper award

Fredrik Nordvall Forsberg (Recipient), Neil Ghani (Recipient) & Alex Simpson (Recipient), 6 Apr 2016

Prize: Prize (including medals and awards)

Activities 2016 2018

  • 3 Organiser of special symposia
  • 1 Journal or guest editorship

23rd International Conference on Types for Proofs and Programs (Event)

Fredrik Nordvall Forsberg (Guest editor)
Dec 2018

Activity: Publication peer-review and editorial work typesJournal or guest editorship

Second Symposium on Compositional Structures

Fredrik Nordvall Forsberg (Organiser)
17 Dec 2018

Activity: Participating in or organising an event typesOrganiser of special symposia