Fredrik Nordvall Forsberg

Dr

  • United Kingdom

20092020

Research activity 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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.