Service

Committees

• 2022 – current: member of the Joint Program Committee for the Bachelor (JPC-B).
• 2022 – current: chair of the program committee for Computer Science (PCCS).
• 2022 – current: secretary the Formal Methods Europe (FME) Industry committee.
• 2021 – current: advisory member of the curriculum committee for the Bachelor Computer Science.
• 2021: program committee, SPIN 2021.
• 2021: program committee, TACAS 2021.
• 2020–2022: member of the program committee for the BSc Computer Science (PC-BCS).
• 2019: program committee, FMICS 2019.
• 2019: organising committee, YR-CONCUR.
• 2019 – 2022: alternate member of the examination committee for computer science and engineering.
• 2019 – 2022: 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

• 2018: Rick Smetsers. Advances in Model Learning for Software Systems. Radboud University Nijmegen.

PDEng Committees

• 2019: Trupti Manik. Increasing test efficiency through coverage-based test selection. Technische Universiteit Eindhoven.

Reviewing

• Journals: Computer Methods and Programs in Biomedicine, Formal Aspects of Computing, Formal Methods in System Design, Innovations in Systems and Software Engineering, Journal of Logical and Algebraic Methods in Programming, Science of Computer Programming, Software and Systems Modelling, Software Tools for Technology Transfer, Theoretical Computer Science.
• Conferences/workshops: ACM SAC (2011, 2012, 2015), ACSD (2012), CONCUR (2016, 2022), 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), TACAS (2021), TTCS (2015), WS-FM/BEAT (2015).