Teaching

Previous teaching

• Lecturer for Calculus 3 and 4 Class 10 (Calculus for Economics) during the Summer Term 2025 at National Taiwan University.
• Lecturer for Calculus 1 and 2 Class 10 (Calculus for Economics) 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.

Teaching materials

• 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.

Here is my teaching statement.