Spring 2025
- Tutor for Proofs and Problem Solving
Autumn 2024
- Tutor for Advanced Mathematical Economics
- Tutor for Axiomatic Set Theory
- Tutor for Group Theory
Spring 2024
- Co-organiser and tutor for an GlaMS course on the Lean theorem prover
- Tutor for Fundamentals of Pure Mathematics
- Tutor for Introduction to Number Theory
Autumn 2023
- Tutor for Category Theory
- Tutor for Combinatorics and Graph Theory
- Tutor for Accelerated Proofs and Problem Solving
Spring 2023
- Co-organiser and tutor for an introductory course on the theorem prover Lean
- Tutor for Fundamentals of Pure Mathematics
- Tutor for Calculus and its Applications
Autumn 2020/Spring 2021
- Tutor for Introduction to Algorithms and Data Structures
Awards and nominations
- Nominee as Student Tutor of the Year in Edinburgh's student-led teaching awards