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 maths, held at the University of Verona in the summer term 2019. This one focused on Gödel's incompleteness theorems and their repercussion on Hilbert's programme. Here's some info about the course.
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 calc classes at LMU, for students of computer science, statistics, natural sciences, and pharmacy, held in 2020/21 and 2024/25.