Structures for Semantics
Formal semantics and pragmatics. University of Amsterdam.
Logic and Conversation (occasional guest lecturer)
Formal pragmatics. University of Amsterdam.
Neural networks (grading only)
AI. University of Amsterdam.
Logic, information flow and argumentation
Amsterdam University College, undergrad.
2011, '12, '15, '16
Logic and the Linguistic turn
Philosophy undergrad. University of Amsterdam.
Computational grammars (workshops, project)
University of Utrecht.
Automated reasoning (workshops)
Mostly theorem provers. University of Utrecht.
Logic for A.I. (workshops)
Mostly modal logic. University of Utrecht.
Mathematics for A.I. (workshops)
Linear algebra and statistics. University of Utrecht.
MA thesis supervision (ongoing)
Universitat Pompeu Fabra.
The Lewis Game and categorized communication systems
Undergrad thesis A.I., University of Amsterdam.