Current
- Logic and Set Theory (2IT05, 2IT07) (responsible lecturer)
Past
- 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)