Matthijs Westera
Teaching and supervision
Graduate
2020
Looking at natural language through Python [Colab notebook]
Satellite event of CONSOLE 2020. Universitat Pompeu Fabra.
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
2017
Logic, information flow and argumentation
Amsterdam University College, undergrad.
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
2020
MA thesis supervision (ongoing)
Universitat Pompeu Fabra.
2012
The Lewis Game and categorized communication systems
Undergrad thesis A.I., University of Amsterdam.
