Fall 2008 Logica voor AI, CKI en Informatica 2de jaar, Univ Utrecht (met Jan Broersen). Inleiding Logica, CKI 1ste jaar, Univ Utrecht.		Fall 2007 Basiswiskunde en Logica, Informatica 1ste jaar, Univ v Amsterdam (samen met Geertje Hek). Logica v Beta-Gamma, Univ v Amsterdam. Inleiding Logica, CKI 1ste jaar, Univ Utrecht.
Fall 2006 Logica, 1st year 'Béta-Gamma',Univ of Amsterdam. Inleiding Logica, 1st year AI, Univ. Utrecht.	Fall 2005 Logica, 1st year 'Béta-Gamma',Univ of Amsterdam. Inleiding Logica, 1st year AI, Univ. Utrecht.	Fall 2004 Inleiding Logica , 1st year AI, Univ. Utrecht (teaching). Logisch Programmeren en Zoektechnieken, 1st year AI, Univ. of Amsterdam (teaching). The Way Mathematics Works, 'open lectures', Univ. of Amsterdam (programming, lects. Robbert Dijkgraaf and Johan van Benthem).
Spring 2006 Logica, 1st year 'Béta-Gamma' (2de deel),Univ of Amsterdam. Logica, 2nd year mathematics, Univ of Amsterdam. Logica en Symbolische Robotica, 1st year AI, Univ of Amsterdam	Spring 2005 Logica in Actie, 1st year 'Béta-Gamma',Univ of Amsterdam (programming, lect. Johan van Benthem). Logica, 2nd year Mathematics, Univ. of Amsterdam (teaching).	Spring 2004 Logica, 2nd year Mathematics, Univ. of Amsterdam (teaching). Logica in Actie, 1st year 'Béta-Gamma',Univ of Amsterdam (programming, lect. Johan van Benthem). Theory of Processes, 1st year Computer Science, Univ of Amsterdam (programming, lect. Inge Bethke and Yde Venema).