### 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