Software verification
Mastercourse, Technical University of Delft, Programming Languages Group, 1900
Teaching
Software verification
Mastercourse, Technical University of Delft, Programming Languages Group, 1900
Research project
Bachelor project supervision, Technical University of Delft, Programming Languages Group, 1900
Category Theory for Programmers
Mastercourse, Technical University of Delft, Programming Languages Group, 1900