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

Personal profile

Personal Statement

I am a Chancellor's Fellow 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

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


Research Output

Three equivalent ordinal notation systems in cubical Agda

Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). New York, p. 172–185 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
  • 4 Downloads (Pure)
    Open Access
  • 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)


    • 3 Organiser of special symposia
    • 1 Journal 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

    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