Teaching

2019-20

spring b Annotation for Machine Learning, BA, University of Groningen

fall b Computational Semantics, MA, University of Groningen

2018-19

summer A Natural Proof System for Natural Language, TbiLLAI, Georgian Technical University

summer A Natural Proof System for Natural Language (with Reinhard Muskens), ESSLLI, University of Latvia

spring b Natural Language Annotation for Machine Learning, BA, University of Groningen

fall b Computational Semantics, MA, University of Groningen

2017-18

fall b Computational Semantics (with Johan Bos, Tommaso Caselli), MA, University of Groningen

2014-15

fall Logic (with Reinhard Muskens), BA, Tilburg University

2013-14

fall Logic (with Reinhard Muskens), BA, Tilburg University