Teaching
Mathematisches Institut der LMU
Summer term 22
- Homotopy Type Theory Seminar on Uni2Work and External webpage
- Oberseminar Mathematische Logik
Winter term 21/22
Summer term 21
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler II
- Mathematische und statistische Methoden für Pharmazeuten
Winter term 20/21
- Logik
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler I
- Mathematische und statistische Methoden für Pharmazeuten
Summer term 20
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler II
- Mathematische und statistische Methoden für Pharmazeuten
Winter term 19/20
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler I
- Mathematische und statistische Methoden für Pharmazeuten
Summer term 19
- Oberseminar Mathematische Logik
- Seminar zur Zahlentheorie
- Mathematik für Physiker II
- Mathematik für Naturwissenschaftler II
Summer term 18
Winter term 17/18
Summer term 17
Previous terms (Teaching assistant)
- SS17 Logik II
- WS16/17 Logik
- SS16 Analysis II für Statistiker
- WS15/16 Logik
- SS15 Modelle der Mengenlehre
- WS14/15 Logik
- WS13/14 Logik
- SS13 Modelle der Mengenlehre
- WS12/13 Logik
Institut für Informatik der LMU
Winter term 21/22
This is my webpage at the IfI.
Department of Computer Science, University of Bern
Winter term 17/18
- Seminar: Homotopy Type Theory
Department of Computer Science, University of Verona
Summer term 17
- Advanced course in foundations of mathematics: Introduction to Homotopy Type Theory
- Introduction to Topos Theory
Last modified: 27.04.2022