Current Courses

• Logic and Set Theory (2IT60, 2IHT10) (responsible lecturer)
• Process Algebra (2IMF10) (responsible lecturer)
• Process Theory (2ITA0) (together with Tim Willemse)

Past Courses

• Fundamentals of Informatics (2IS80)
• Discrete Structures (2IT26) (instructor)
• Software Specificatie (2IW05) (instructor)
• Procestheorie (2IT30) (instructor)
• Automatentheorie en formele talen (2IT20) (instructor)
• Ontwerp van Algoritmen 3 (2IA30) (instructor)
• Functioneel Programmeren (2IA50) (instructor)
• Semantiek en Berekeningsmodellen (2IF55) (co-lecturer)