Lecture notes

Here are notes that I have made during lectures at the University of Oxford. They are available in HTML and PDF formats; I cannot vouch for the accuracy of these notes.

Completed modules:

  • Prelims > MT2025 > Discrete Maths
  • Prelims > MT2025 > Functional Programming
  • Prelims > MT2025 > Linear Algebra: HTML, PDF
  • Prelims > MT2025 > Probability
  • Prelims > HT2026 > Continuous Maths: HTML, PDF
  • Prelims > HT2026 > Design & Analysis of Algorithms: HTML, PDF
  • Prelims > HT2026 > Imperative Programming: HTML, PDF


In-progress modules:

  • Prelims > HT2026 > Digital Systems: HTML, PDF
  • Prelims > TT2026 > Introduction to Proof Systems: HTML, PDF