Teaching

At University of Gothenburg, I have taught the following courses:

Semester Course Position
Spring 2023 Proof Theory Teaching assistant
Fall 2022 Category Theory Course leader

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

Semester Course
Spring 2021 Proof Theory

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

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