Teaching
2019: Functional Programming
2018: Functional Programming
2017: Mads Buch's master thesis on formalizing differential privacy
Organized autumn school on Computer Aided Cryptography Proofs
2016: Computer Aided Crypto Proofs (10ETCS)
Homotopy type theory: Univalent Foundations of Mathematics
Course on Coq homotopy type theory library at CMU (2015)
Reading course homotopy type theory, Chalmers (2014)
Semantics
of Logic Programming 2012.
Semantics
of Logic Programming 2011.
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).
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.