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 |