Service

Committees

  • 2021: program committee, SPIN 2021.
  • 2021: program committee, TACAS 2021.
  • 2019: program committee, FMICS 2019.
  • 2019: organising committee, YR-CONCUR.
  • 2019-current: alternate member of the examination committee for computer science and engineering.
  • 2019-current: alternate member of the examination committee for business information systems.
  • 2018-2019: secretary of the program committee of the master software engineering (OU).
  • 2018: chair of the organising committee of the Dutch Model Checking Day.
  • 2016 – 2019: member of the library committee of the Open Universiteit.
  • 2015 – 2019: science communication of the computer science research group (OU).
  • 2015: program committee, TTCS’15.
  • 2015: program committee, WS-FM/BEAT’15.
  • 2013 – 2015: organising committee, monthly meeting of assistant professors and postdocs of the VU computer science department.
  • 2012 – 2013: organising committee, monthly meeting of PhD students of the MDSE section, TU/e.
  • 2012: organising committee, Workshop on Formal Methods in Industry.
  • 2010: organising committee, Dutch Model Checking Day.

PhD Committees

PDEng Committees

Reviewing

  • Journals: Computer Methods and Programs in Biomedicine, Formal Aspects of Computing, Innovations in Systems and Software Engineering, Journal of Logical and Algebraic Methods in Programming, Science of Computer Programming, Software Tools for Technology Transfer.
  • Conferences/workshops: ACM SAC (2011, 2012, 2015), ACSD (2012), CONCUR (2016), Coordination (2010), CPP (2017), FMICS (2019), FOCLASA (2011), FSEN (2011), ICALP (2017), ICFEM (2014, 2017), iFM (2020), OOPSLA (2019), PSI (2011, 2014), SEFM (2013), SOS/EXPRESS (2014), SPIN (2010), TTCS (2015), WS-FM/BEAT (2015).