Courses
- Automated Reasoning (2IMF25), grading, 2021-2022
- Software Specification (2IX20), instructor, 2021-2022
Past Courses
- Automotive Software Engineering (2IWA0), instructor, 2016-2017, 2017-2018, 2019-2020, 2020-2021
- Design-based Learning: Embedded Systems (2IO70), instructor, 2016-2017
- Algorithms and Data Structures, University of Twente, teaching assistant, 2015-2016
- Programming, University of Twente, teaching assistant, 2014-2015