2022/2023
- TA for Foundations and Philosophy of Mathematics (tutorial master's programme)
2021/2022
- TA for Logic for Philosophers (BSc Phil)
- TA for Philosophy for AI (BSc AI)
2020/2021
- TA for matching activity BSc AI
- TA for Modal Logic for AI (BSc AI)