Teaching
Mathematisches Institut der LMU
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
Department of Computer Science, University of Verona
Summer term 17
- Temporary Professor: Advanced course in foundations of mathematics: Introduction to Homotopy Type Theory
- Erasmus Docent: Introduction to Topos Theory
Last modified: 26.02.2018