Teaching

Philosophy of Mathematics

Seminar course held at the University of Greifswald in the winter term 2023/24. See here for a course description (in German).

Advanced Course in Foundations of Mathematics

Second part of a course on the foundations of mathematics, held at the University of Verona in the summer term 2019. The course focused on Gödel's incompleteness theorems and their repercussions on Hilbert's programme. More information .

Constructive Algebra

Lecture held as part of the 2018 autumn school Proof & Computation in Fischbachau. Course material is available here .

Calculus

Exercise sessions for various calculus classes at LMU, for students of computer science, statistics, natural sciences, and pharmacy, held in 2020/21 and 2024/25.