2023-24
spring b
Natural Language Processing, Masters, Utrecht University
fall b
Logic and Language, Masters, Utrecht University
fall a
Machine Learning for Human Vision and Language, Masters, Utrecht University
2022-23
spring b
Natural Language Processing, Masters, Utrecht University
spring b
Models for Language Processing, Bachelor, Utrecht University
fall b
Logic and Language, Masters, Utrecht University
fall a
Machine Learning for Human Vision and Language, Masters, Utrecht University
2021-22
summer
Natural Language Reasoning with a Natural Theorem Prover, ESSLLI, University of Galway
spring b
Natural Language Processing, Masters, Utrecht University
spring b
Models for Language Processing, Bachelor, Utrecht University
spring a
Language and Computation, Bachelor, Utrecht University
spring a
Formal and Natural Languages, Bachelor, Utrecht University
2020-21
spring b
Introduction to Machine Learning, Bachelor, Utrecht University
spring b
Cognitive and Computational Aspects of Word Meaning, Masters, Utrecht University
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