Teaching

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

• 1213 Software Engineering/System Development Management
• 1213 Beweren en Bewijzen
• 1213 Semantiek en Correctheid
• 1213 Formeel Denken
• 1213 Inleiding Combinatoriek
• 1213 Inleiding Wiskunde
• 1112 Beweren en Bewijzen
• 1112 Semantiek en Correctheid
• 1112 Bachelorscriptie
• 1112 Discrete Wiskunde
• 1112 Formeel Denken