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