Teaching

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)

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)