Lecture Courses

Since 30 September 2022 I am semi-retired and no longer lecture. Here are some links to my past courses (dating back to the 1990s!):
  1. Foundations of Computer Science (the original 15-lecture version)
  2. Logic and Proof
  3. Interactive Formal Verification
  4. Foundations of Functional Programming (lambda calculus and combinators).
  5. Introduction to Functional Programming (12 lectures on ML)
  6. Software Engineering I (6 lectures)
  7. Software Engineering II (6 lectures)
  8. Problem Solving in ML (6 lectures)