Teaching
Numerical Analysis
Autumn 2016 to 2025Advanced course covering numerical methods for solving mathematical problems, including interpolation, differentiation, integration, and differential equations.
Mathematical Logics
Autumn 2017 to 2022 Spring 2024 to 2026Graduate-level course exploring advanced topics in mathematical logic, including set theory, model theory, and proof theory.