Teaching (Past Courses)

2025-26 Term 1

• MA4N1 Theorem Proving with Lean, course material on GitHub

2024-25 Term 1

• MA4N1 Theorem Proving with Lean, course material on GitHub

• MA3H5 Manifolds and the corresponding lecture notes

2023-24 Term 1

• MA4N1 Theorem Proving with Lean, course material on GitHub

• 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

• MA939 Topics in Number Theory

  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

2018-19, Term 2

• MA106 Linear Algebra

• MA426 Elliptic Curves Lecture Notes

2017-18, Term 2

• MA106 Linear Algebra

• MA426 Elliptic Curves Lecture Notes

2016-17, Term 2

• MA106 Linear Algebra

2015-16, Term 1

• MA138 Sets and Numbers

2014-15, Term 1

• MA125 Introduction to Geometry

2013-14, Term 1

• MA125 Introduction to Geometry

• MA251 Algebra 1

2012-13, Term 3

• MA246 Number Theory

2012-13, Term 1

• MA132 Foundations

2011-12, Term 3

• MA246 Number Theory

2011-12, Term 2

• MA106 Linear Algebra