Teaching

Teaching Assistant

2025 - 2026

• Category Theory (Mastermath)
• Type Theory (Master’s Logic)

2024 - 2025

• Advanced Algorithms (Master’s Logic, Master’s Computer Science)
• Functional Programming (Master’s Logic, Master’s Computer Science)

2023 - 2024

• Functional Programming (Master’s Logic, Master’s Computer Science)