Teaching

Current courses

  • Software Specification (2IX20), 2018-2019, 2019-2020, 2020-2021 (responsible lecturer)
  • Logic and Set Theory (2IT60), 2020-2021 (instructor)
  • Applied Logic (2ITX0), 2020-2021 (instructor)
  • Automotive Software Engineering (2IWA0), 2019-2020, 2020-2021 (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)