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 |