Matthijs Westera

Teaching

Graduate

2015
Structures for Semantics
Formal semantics and pragmatics. University of Amsterdam.
2012-2014
Logic and Conversation (occasional guest lecturer)
Formal pragmatics. University of Amsterdam.
2010
Neural networks (grading only)
AI. University of Amsterdam.

Undergraduate

2011, '12, '15, '16
Logic and the Linguistic turn
Philosophy undergrad. University of Amsterdam.
2015
Computational Linguistics
Leiden University.
2015
Semantics II
Leiden University.
2008
Computational grammars (workshops, project)
University of Utrecht.
2008
Automated reasoning (workshops)
Mostly theorem provers. University of Utrecht.
2007
Logic for A.I. (workshops)
Mostly modal logic. University of Utrecht.
2006
Mathematics for A.I. (workshops)
Linear algebra and statistics. University of Utrecht.

Supervision

2012
The Lewis Game and categorized communication systems
Tomas Bijkerk, undergrad thesis A.I. University of Amsterdam.