Webrelaunch 2020
Photo of Felix Wellen

Felix Wellen

  • 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.

Current List of Courses
Semester Titel Typ
Summer Semester 2017 Lecture
Winter Semester 2013/14 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.