Teaching


2016: Computer Aided Crypto Proodfs (10ETCS)
Homotopy type theory: Univalent Foundations of Mathematics
Course on Coq homotopy type theory library at CMU (2015)
Semantics of Logic Programming 2012.
Semantics of Logic Programming 2011.

Semantics of Logic Programming 2010.

Formele Methoden 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).

Teaching assistant for:
statistics for biologists; numerical analysis; introduction to logic (for mathematicians and computer scientists); differential equations; introduction to logic (for mathematicians and computer scientists); proof theory and set theory (for mathematicians and computer scientists); discrete mathematics; introduction to mathematics.