Teaching
- Supervisor for five BSc theses with algorithmic topics, spring 2023
- MSc course Automated Logical Reasoning: teaching assistant in charge of weekly exercise sessions and grading exercises, spring 2022
- MSc course Automated Logical Reasoning: teaching assistant in charge of weekly exercise sessions and grading exercises, spring 2021
- BSc course Advanced Programming: teaching assistant, summer 2015
- BSc course Introduction to Programming: teaching assistant, summer 2015