2022: Formal Software Verification
Advanced Topics in Programming Language Theory
2021: Formal Software Verification
2020: Functional Programming
2019: Functional Programming
2018: Functional Programming
Semantics of Logic Programming 2010.
Formal Methods 2009.
2010: Bachelor thesis by Martin Devillers (2010)
Developed and taught two courses in the masterclass
Type theory and Proof Assistants (with Geuvers)
Constructivism and the continuum (with Veldman)
Formal Thinking for information scientists. (with Barendregt).