Home | deutsch  |  Impressum  |  Data Protection  |  Sitemap  |  Intranet  |  KIT
Department of Mathematics

Karlsruhe Institute of Technology
D-76128 Karlsruhe
Germany
Tel.: +49 721 608-43800

Photo of Felix Wellen Felix Wellen

Office hour for students: Wann immer ich da bin
Room: 1.024 Kollegiengebäude Mathematik (20.30)
Tel.: +49 721 608 45887
Email:

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.