Home | deutsch | Impressum | Sitemap | Intranet | KIT
Workgroup on Number Theory and Algebraic Geometry

Kollegiengebäude Mathematik (20.30)
Room 1.027

Englerstraße 2, 76131 Karlsruhe

Office hours:
Mo - Fr, 9.15 - 11.45

Tel.: +49 721 608 43041

Fax.: +49 721 608 44244

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: felix.wellen@kit.edu

Institut für Algebra und Geometrie
Kaiserstraße 89-93
76133 Karlsruhe

I am interested in application of homotopy type theory to differential and algebraic geometry.

Semester Titel Typ
Summer Semester 2017
Winter Semester 2014/15
Winter Semester 2013/14

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.