Afgelopen onderwijs

• Computational Methods in Typetheory (2000-2009)
• Typentheorie (2000-2009)
• Slides CKI-A voordracht over herschrijven (5-4-2005)
  (inclusief herschrijfoplossing voor de Cola-gen puzzle uit NWT)
• CKI 20, Projekt (1999-2004)
• Computervaardigheden (2003-2004)
• Formele Talen & Resolutie (1993-2002)
• CKI 10 (1998-2001)
• Slides CKI-A voordracht over herschrijven (6-1-2004)
• Modale Logica en Kennis Representatie (1995-2000)