Teaching

Spring 2025: Lecturer for Functional Programming (MSc Logic)
Spring 2025: Co-Lecturer for Theory of Functional Programming (BSc CS, with Steven de Rooij)
Autumn/Winter 2024: Co-Lecturer for Data Structure and Algorithms (Amsterdam University College, with Lorenzo Galeotti)
Autumn 2024: Lecturer for Problem Solving and Search (BSc AI)
Summer 2024: Lecturer for Functional Programming (MSc Logic)
Spring 2024: Co-Lecturer for Theory of Functional Programming (BSc CS, with Steven de Rooij)
Autumn/Winter 2023: Co-Lecturer for Data Structure and Algorithms (Amsterdam University College, with Lorenzo Galeotti)
Autumn 2023: Lecturer for Problem Solving and Search (BSc AI)
Summer 2023: Lecturer for Functional Programming (MSc Logic)
Spring 2023: Co-Lecturer for Theory of Functional Programming (BSc CS, with Steven de Rooij)
Autumn/Winter 2022: Lecturer for Data Structure and Algorithms (Amsterdam University College)
Autumn 2022: Lecturer for Problem Solving and Search (BSc AI)
Spring 2022: Coordinator for Seminar Mathematical Logic (MSc Logic)
Spring 2022: Co-Lecturer for Theory of Functional Programming (BSc CS, with Steven de Rooij)
January 2022: Lecturer for Functional Programming for Logicians (MSc Logic project)
Autumn 2021: Lecturer for Problem Solving and Search (BSc AI)

Bochum, July/August 2025: Lecturer for Knowledge and Gossip (with Hans van Ditmarsch)
Galway, August 2022: Lecturer for Gossip and Knowledge (with Hans van Ditmarsch)

Spring 2021: Lecturer for Algorithms and Data Structures (BSc AI)
Winter 2020/21: Co-Lecturer for Introduction to Logic (BSc AI and Mathematics)
Autumn 2020: Lecturer for Design of Multi-Agent Systems (MSc AI)
Spring 2020: Lecturer for Algorithms and Data Structures (BSc AI)
Winter 2019/20: Co-Lecturer for Introduction to Logic (BSc AI and Mathematics)
Autumn 2019: Lecturer for Design of Multi-Agent Systems (MSc AI)
Spring 2019: Lecturer for Algorithms and Data Structures (BSc AI)
Winter 2018/19: Co-Lecturer for Introduction to Logic (BSc AI and Mathematics)

June 2018: Lecturer for Functional Programming for Logicians (MSc Logic project, with Jana Wagemaker)
Autumn 2016: Teaching assistant for Functional Specification of Algorithms and Software Specification and Testing (Lecturer: Jan van Eijck)
Spring 2016: Teaching assistant for Introduction to Modern Cryptography (Lecturer: Christian Schaffner)
Autumn 2015: Teaching assistant for Functional Specification of Algorithms and Software Specification and Testing (Lecturer: Jan van Eijck)
Spring 2015: Teaching assistant for Model Theory (Lecturer: Benno van den Berg)
Autumn 2014: Teaching assistant for Introduction to Modern Cryptography (Lecturer: Christian Schaffner)

November 2015: Three Lectures on Dynamic Epistemic Model Checking with Jan van Eijck. Part 1 and 2, Part 3.

Summer 2012: Tutorium zu Formale Logik
Summer 2011: Tutorium zu Formale Logik
Winter 2010/11: Tutorium zu Analysis II und Fachdidaktik (Vorlesung: Thomas Bauer)
Summer 2010: Tutorium zu Formale Logik
Summer 2009: Tutorium zu Formale Logik