Teaching

Current teaching

Lecturer for Logic and Discrete Mathematics (for Computer Engineering students) during the Winter Term 2026/2027 at the Polytechnic University of Madrid.

Lecturer for Calculus 3 and 4 Class 10 (for Economics students) during the Summer Term 2025 at National Taiwan University.
Lecturer for Calculus 1 and 2 Class 10 (for Economics students) during the Winter Term 2024/2025 at National Taiwan University.
Teaching assistant for Elementary Geometry during the Summer Term 2023 at the University of Freiburg.
Teaching assistant for Riemann Surfaces during the Winter Term 2022/2023 at the University of Freiburg.
Teaching assistant for Elementary Geometry during the Summer Term 2022 at the University of Freiburg.
Teaching assistant for Algebra and Number Theory during the Winter Term 2021/2022 at the University of Freiburg.
Tutor for Introduction to Algebra during the Winter Term 2018/2019 at the University of Bonn.
Tutor for Linear Algebra for Informatics and Teachers during the Summer Term 2018 at the University of Bonn.

Lean Algebra Exercises, Formalization of abstract algebra concepts using Lean, with step-by-step hints for students, written during the Winter Term 2021/2022 at the University of Freiburg.