Teaching
Mathematisches Institut der LMU
Winter term 25/26
- Complemented Quantum Logic (online master seminar)
- Oberseminar Mathematische Logik
- Category Theory (online master seminar)
- Oberseminar Mathematische Logik
- Oberseminar Mathematische Logik
- Dependent Category Theory (online master seminar)
- Oberseminar Mathematische Logik
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler II
- Mathematische und statistische Methoden für Pharmazeuten
- Logik
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler I
- Mathematische und statistische Methoden für Pharmazeuten
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler II
- Mathematische und statistische Methoden für Pharmazeuten
- Oberseminar Mathematische Logik
- Mathematik für Naturwissenschaftler I
- Mathematische und statistische Methoden für Pharmazeuten
- Oberseminar Mathematische Logik
- Seminar zur Zahlentheorie
- Mathematik für Physiker II
- Mathematik für Naturwissenschaftler II
- 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
- Seminar: Homotopy Type Theory
- Advanced course in foundations of mathematics: Introduction to Homotopy Type Theory
- Introduction to Topos Theory
Winter term 24/25
Summer term 24
Winter term 23/24
Winter term 22/23
Summer term 22
https://uni2work.ifi.lmu.de/course/W24/MI/CATWinter term 21/22
Summer term 21
Winter term 20/21
Summer term 20
Winter term 19/20
Summer term 19
Summer term 18
Winter term 17/18
Summer term 17
Previous terms (Teaching assistant)
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
Department of Computer Science, University of Verona
Summer term 17
Last modified: 10.10.2025