Lecture Notes
- Logic in Computer Science (LMU, 2021/22, in English)
- Logic (LMU, 2020/21, in English)
- Logic (LMU, 2017/18, in English)
- Martin-Löf Type Theory and Univalent Type Theory(University of Bern, 2017, in English)
- Introduction to Homotopy Type TheoryPart 1
Part 2 Part 3
Part 4 Part 5
Part 6(Scanned handwritten notes, University of Verona, 2017, in English)
- Introduction to Topos TheoryPart 1
Part 2 Part 3
(Scanned handwritten notes, University of Verona, 2017, in English)
- Ordinary Differential Equations(LMU, 2018, in English)
- Mathematics for Physicists II(LMU, 2019, in English)
- Mathematics for Natural Scientists II(LMU,2021, in German)
- Mathematics for Natural Scientists II(LMU,2019, in English)
- Mathematics for Natural Scientists I(LMU, 2020/21, in German)
- Mathematics for Natural Scientists I(LMU, 2019/20, in English)
- Mathematical and Statistical Methods for
Pharmacists(LMU, 2020 and 2020/21, in German)
Back to my webpage
Last modified: 10.02.2022