2011
- Fractran, 31 May 2011, guest lecture master course
Models of Computation, Utrecht University.
[ slides | Fractran interpreter in haskell ]
- Advanced Logic, 31 January -- 25 March 2011, master course, VU Universiy Amsterdam.
2010
- Productivity,
3 - 8 July 2010,
course at the International School on Rewriting (ISR 2010), Utrecht University.
Together with Jörg Endrullis and Clemens Grabmayer.
[slides and course material]
- Voortgezette Logica, 2010, combined bachelor/master course AI + CS, VU Universiy Amsterdam.
previous years
- voortgezette logica, VU, AI + informatica, 2006-2007, 2007-2008, 2008-2009, 2009-2010.
- assistant logische structuren, VU, informatica, 2008-2009
- assistant datastructuren en algoritmen, VU, informatica, 2008-2009
- formele structuren, VU, informatica, 2005-2006
- assistant store & retrieve, informatiekunde, KUN, 2004-2005
- practicum assistant typentheorie, UU, CKI, 2000-2001
- assistant modale logica en kennisrepresentatie, UU, CKI, 1996-1997