Onderwijs (from 2009)
Semantics
of Logic Programming 2011.
Semantics
of Logic Programming 2010.
Formele
Methoden 2009.
Bachelor thesis:
Bachelor
thesis by Martin Devillers (2010)
Before 2009:
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.