Current courses
- Software Specification (2IX20), 2018-2019, 2019-2020, 2020-2021, 2021-2022 (responsible lecturer)
- Logic and Set Theory (2IT60), 2020-2021, 2021-2022 (instructor)
- Applied Logic (2ITX0), 2020-2021, 2021-2022 (instructor)
- Automotive Software Engineering (2IWA0), 2019-2020, 2020-2021, 2021-2022 (instructor)
Past courses
- System Verification & Testing (OU), 2017-2018, 2018-2019
- Computernetworken (IB0702, OU), 2017-2018, 2018-2019 (course design, responsible lecturer)
- Processoren (RU), 2016-2017 (responsible lecturer)
- Communicatietechnologie (OU), 2015-2016, 2016-2017, 2017-2018 (responsible lecturer)
- Computersystemen (OU), 2015-2016, 2016-2017, 2017-2018 (responsible lecturer)
- System Validation (TU Delft), 2013-2014, 2014-2015, 2015-2016, 2016-2017, 2017-2018, 2018-2019
- Automata & Complexity (VU), 2013-2014, 2014-2015 (responsible lecturer)
- Requirements analysis, design and verification (TU/e)
- Algorithms for Model Checking (2IMF35, TU/e), 2009-2010, 2010-2011, 2011-2012, 2012-2013 (co-lecturer, with Tim Willemse)
- Automata and Process Theory (TU/e), 2009-2010 (instructor)
- Requirements analysis, design and verification (TU/e), 2009 (teaching assistant)
- Design-based learning “computer graphics and networking” (TU/e), 2009 (tutor)
- Design-based learning “software specification” (TU/e), 2009 (tutor)
- Design based learning “design of a generic business information system” (TU/e), 2006-2007 (tutor)
- Programmarealisatie 2 (TU/e), 2006 (lab assistant)