Teaching

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

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

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

Year Course
Spring 2021 Proof Theory