Teaching

This is a selection of courses I am or have been involved in.

• 1112 Beweren en Bewijzen
• 1112 Semantiek en Correctheid
• 1112 Bachelorscriptie
• 1112 Discrete Wiskunde
• 1112 Formeel Denken
• 1011 Beweren en Bewijzen
• 1011 Semantiek en Correctheid
• 1011 Formeel Denken
• 1011 Bachelorscriptie
• 1011 Introductie Informatica en Informatiekunde