Courses

• Automated Reasoning (2IMF25), lecturer, 2022-2024

Past Courses

• Automotive Software Engineering (2IWA0), responsible for practical labs, 2016-2019, 2022
• Software Specification (2IX20), instructor, 2021, 2022
• Automated Reasoning (2IMF25), grading, 2021
• Design-based Learning: Embedded Systems (2IO70), instructor, 2016
• Algorithms and Data Structures, University of Twente, teaching assistant, 2015
• Programming, University of Twente, teaching assistant, 2014