# 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 |