Teaching (Past Courses)
2025-26 Term 1
- MA4N1 Theorem Proving with Lean, course material on
2024-25 Term 1
- MA4N1 Theorem Proving with Lean, course material on
- MA3H5 Manifolds (lecture notes)
2023-24 Term 1
- MA4N1 Theorem Proving with Lean, course material on
- MA3H5 Manifolds (lecture notes)
2022-23 Term 1
- MA3J9 Historical Challenges in Mathematics Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
- MA3H5 Manifolds (lecture notes)
2021-22, Term 2
- MA3J9 Historical Challenges in Mathematics Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
- MA948 Applied Scheme Theory
2020-21, Term 2
- MA3J9 Historical Challenges in Mathematics Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
-
A draft book (joint with Martin Bright and Ronald van Luijk) is available here. Feedback is welcome!
2019-20, Term 2
- MA3J9 Historical Challenges in Mathematics Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
- MA426 Elliptic Curves (Lecture Notes)