Talks
Various expository talks I've given:
- Girard-Reynolds System F, December 3, 2009: slides
- Geometric theorem proving, March 3, 2010: slides
- Normalization of intuitionistic set theories, April 13, 2010: slides
- Functional interpretation of arithmetical comprehension, May 27, 2010: slides
- Transfinitely iterated fixpoint theories, October 26 and November 2, 2010: slides
- Functional interpretation and inductive definitions, February 1, 2011: slides
- Formalizing forcing arguments in subsystems of second-order arithmetic, April 26, 2011: slides
- Univalent Foundations and the Structure Identity Principle, January 8, 2013: slides
Topics
Current mathematical interests include:
- Formal systems for Foundations of Mathematics
- Homotopy Type Theory
- Interactive Theorem Proving
- Type-theoretical Foundations of Structural Mathematics
MS Thesis
I wrote my MS thesis at the University of Copenhagen. My advisor was Jesper Grodal, and you can download my thesis here: The Atiyah-Segal Completion Theorem.
Support
My work is generously supported by the Traveling Fellowship for Mathematicians (Rejselegat for Matematikere), a trust managed by Kromann Reumert. Unofficial history (in Danish) at rejselegat.dk.
Work
by