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