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