Course	Program	University	Year	Role
Mathematical Logic	BSc Mathematics	UvA	2023	Lecturer
Model Theory	MSc Logic	UvA	2020-2022	TA
Topics in Modal Logic	MSc Logic	UvA	2020-2022	TA
Mathematical Logic	BSc Mathematics	UvA	2019	TA
Web techniques for AI	BSc AI	UvA	2019	TA
Computational logic	BSc AI	UvA	2018	TA
Introduction to AI	BSc AI	UvA	2018	TA
Introduction to Logic	BSc AI	UvA	2016	TA
What is mathematics?	BSc Mathematics	UU	2015	TA
Logic for philosophers	BA Philosophy	UU	2014	TA