Teaching Assistant

• Summer 2025 – Introduction to Functional Programming at University of Nottingham
• Summer 2025 – Linear Algebra for Computer Science at University of Nottingham
• Winter 2024 – Introduction to Formal Reasoning at University of Nottingham
• Summer 2024 – Linear Algebra for Computer Science at University of Nottingham
• Summer 2024 – Introduction to Functional Programming at University of Nottingham
• Winter 2023 – Logic for Computer Science at University of Nottingham
• Summer 2023 – Introduction to Functional Programming at University of Nottingham
• Summer 2023 – Linear Algebra for Computer Science at University of Nottingham
• Summer 2022 – HoTTEST Summer School
• Summer 2017 – Multivariate Analysis at Darmstadt University of Technology