Teaching

Teaching Assistant

VU Amsterdam

• Computer Assisted Proofs (project course): January 2023, 2024, 2025
• Group Theory: Spring 2023, 2024
• Number Theory: Fall 2024, 2025
• Logic and Sets (grading only): 2023–2025

Mastermath

• Modular Forms: Spring 2024
• Formal Methods in Mathematics: Spring 2025, 2026