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.

Karlsruhe Institute of Technology

D-76128 Karlsruhe

Germany

Tel.: +49 721 608-43800

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 |

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.