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
mathematical logic:
Type theory and Proof Assistants (with
Geuvers)
Constructivism and the continuum
(with Veldman)
Semantics and
Logic 1
Formal Thinking for information scientists. (with
Barendregt).