Ich bin inzwischen an der Carnegie Mellon University beschäftigt. Meine neue Seite ist hier.
Ich beschäftige mich unter anderem mit Homotopietypentheorie. Dazu habe ich im Sommersemester 2014 eine Reihe von Vorträgen gehalten. Hier gibt es ein Skript zu dieser Vortragsreihe. Hier ist mein Agda-Code betreffend Differentialkohäsion.
Wer via PGP verschlüsselten Mails mit mir kommunizieren möchte, kann meine email-Adresse bei posteo.de verwenden, die vor dem @ meiner Universitätsadresse gleicht.
Hier ist meine Doktorarbeit.
| Semester | Titel | Typ |
|---|---|---|
| Sommersemester 2017 | Geometrie der Schemata | Vorlesung |
| Wintersemester 2013/14 | Schulmathematik nach dem ersten Studienjahr wiederentdecken | Vorlesung |