# 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!):- Foundations of Computer Science (the original 15-lecture version)
- Logic and Proof
- Interactive Formal Verification
- Foundations of Functional Programming (lambda calculus and combinators).
- Introduction to Functional Programming (12 lectures on ML)
- Software Engineering I (6 lectures)
- Software Engineering II (6 lectures)
- Problem Solving in ML (6 lectures)