Course notes.
Inleiding in de Wiskunde (Introduction to Mathematics), Radboud University Nijmegen, 2014. [pdf]
Course notes in Dutch used in Nijmegen.

Complexity Theory, Radboud University Nijmegen, 2010. [pdf]
Course notes used in Amsterdam and Nijmegen.

Syllabus Computability Theory, Technical University of Vienna, 2004. [pdf]
Course notes used in Vienna and Utrecht.

Éléments de Théorie de la Calculabilité, 2008. [postscript] [pdf]
French translation of the above syllabus by Michaël Cadilhac (in cooperation with the author).

Complexity and Randomness [postscript] [pdf]
Notes for a course given at the University of Auckland (Spring 2003) and the University of Torino (Fall 2003).
Appeared in Rendiconti del Seminario Matematico di Torino Vol. 62 No. 1 (2004) 1-38.


Radboud University Nijmegen. For information about current courses see the Brightspace pages of the university.

For Mastermath courses see


Mastermath 2014-2015. Course in Computability Theory (jointly with Henk Barendregt ).
Web page for the course.

Mastermath 2010-2011. Course in Complexity Theory (jointly with Krzysztof Pietrzak from CWI).
Web page for the course.

Radboud University Nijmegen, 2010. Handout for a course in game theory (in Dutch).

University of Amsterdam, 2008. Handout proof methods in computer science.

University of Vienna, 2008, Einführung in die mathematische Logik.

TU Vienna, 2007, the computability theory part of the course Gebiete der mathematischen Logik.

Utrecht University, 2006-2007, Master Class Computability Theory / Proof Theory