| Formalising Mathematics in Lean | 23-24 Semester 2 |
| Homological Algebra (via SMSTC) | 23-24 Semester 2 |
| Honours Algebra | 23-24 Semester 2 |
| Lean learning group | 22-23 Semester 2 |
| Honours Algebra Skills | 22-23 Semester 2 |
| Computing and Numerics | 22-23 Semester 2 |
| Combinatorics and Graph Theory | 22-23 Semester 1 |
| Python Programming | 22-23 Semester 1 |
| Working with data types and structures in Python and R (via the Usher Institute) | Summer 2022 |
| Classical & Quantum Integrable Systems (quantum part, via SMSTC) | 21-22 Semester 2 |
| Computing and Numerics | 21-22 Semester 2 |
| Python Programming | 21-22 Semester 1 |
| Honours Analysis Skills | 21-22 Semester 1 |
| Fundamentals of Pure Mathematics | 20-21 Semester 2 |