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 and the corresponding lecture notes
2023-24 Term 1
-
MA4N1 Theorem Proving with Lean, course material on
-
MA3H5 Manifolds and the corresponding lecture notes
2022-23 Term 1
- MA3J9 Historical Challenges in Mathematics, Lecture Notes: Hilbert’s 3rd, 17th, 10th problem
- MA3H5 Manifolds and the corresponding 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