- Wann immer ich da bin
- Kollegiengebäude Mathematik (20.30)
- +49 721 608 45887
Institut für Algebra und Geometrie
I am at the Carnegie Mellon University now. My new homepage is here.
I am interested in application of homotopy type theory to differential and algebraic geometry.
|Summer Semester 2017||Geometry of Schemes||Lecture|
|Winter Semester 2013/14||Schulmathematik nach dem ersten Studienjahr wiederentdecken||Lecture|
Here is my differential cohesion agda code.
Here are the German notes of a series of talks I gave in summer 2014.
The goal of these talks was to introduce a general mathematical audience to homotopy type theory.
Here is the latest version of my PhD thesis.
If you would like to send me PGP encrypted mail, please use my @ posteo.de address, starting the same way as my university address.