On this page you can find links to the courses I am or have been teaching, as well as information on teaching resources of general interest that I have developed (including some widely-used lecture notes on Prolog programming and an interactive proof assistant). There is a separate page with details on student supervision.

Courses taught in Amsterdam

Courses taught in London

Invited Tutorials and Short Courses

Teaching Resources