Fredrik Nordvall Forsberg

Dr

  • United Kingdom

20092020

Research output per year

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

Award Date: 1 Jan 2013

Master of Mathematics, Uppsala University

Award Date: 1 Jan 2009

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.
If you made any changes in Pure these will be visible here soon.