Intuitionistic logic. Master of Logic, University of Amsterdam, spring 2017.
Introduction to Computability. BSc in AI, University of Amsterdam, fall 2016.
Logic and Conversation. Master of Logic, University of Amsterdam, fall 2015.
Inquisitive semantics. ESSLLI, summer 2015.
Logic and Conversation. Master of Logic, University of Amsterdam, fall 2013.
Structures for Semantics. Master of Logic, University of Amsterdam, spring 2013.