### PhD Thesis

December 6, 2013 I finished my PhD thesis at Stanford University under the direction of Solomon Feferman. You can download my thesis here: Unfolding of Systems of Inductive Definitions. If you want a paper version, it can be acquired cheaply from amazon.com, amazon.co.uk, amazon.de, and other book sellers.

### 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
- The Unfolding of Systems of Inductive Definitions, October 31, 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

### MSc Thesis

I wrote my MSc 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) here.