Felix Wellen
-
Wann immer ich da bin
-
Kollegiengebäude Mathematik (20.30)
+49 721 608 45887
-
-
Institut für Algebra und Geometrie
Kaiserstraße 89-93
76133 Karlsruhe
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.
| Semester | Titel | Typ |
|---|---|---|
| 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.