Teaching

At University of Amsterdam, I was a student TA for the following courses:

Year Course
Spring 2021 Proof Theory

At Saarland University, I was a student TA for the following courses:

Year Course
Winter 2017 Programming 1
Summer 2018 Introduction to Computational Logic
Summer 2019 Introduction to Computational Logic