Teaching

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

Semester Course
Fall 2022 Category Theory

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