SERVICE

  • 2022: Programme Committee, SBMF
  • 2022: Programme Committee and Steering Committee, FORTE
  • 2022: Chair of the FME-Industry Committee
  • 2022: Vice-chair of the Examinations Committee of CS, CSE and ES.
  • 2022: Guest editor Log. Methods Comput. Sci. (special issue FORTE 2021)
  • 2021: Head of the FSA group
  • 2021: Programme Chair, FORTE
  • 2021: Tutorial Chair, FME
  • 2021: Programme Committee, TMPA
  • 2021: Guest editor STTT (special issue FMICS 2019/20)
  • 2020: Programme Committee, FMICS
  • 2019: Reviewer for the Dutch science funding agency (NWO)
  • 2019: Programme Committee, FORTE
  • 2019: Programme Committee, FM
  • 2019: Programme Chair, FMICS
  • 2016: Reviewer for the Science Fund (FWF)
  • 2016: Programme Committee, GaM
  • 2015: Programme Committee, TTCS
  • 2012-2013: Editor of the Computer Science section of the Scientific World Journal
  • 2011-2013: Programme Committee, SAC-SVT
  • 2011-2012: Programme Chair, ICT.OPEN.
  • 2011-2015: CSE curriculum redesign committee.
  • 2010: Reviewer for the Deutsche Forschungsgemeindschaft, IRTG.
  • 2010-now: Staff member of the Dutch Research School IPA.
  • 2009-now: Organising Committee, Dutch Model Checking Day.
  • 2006-2011: Programme Committee, Dutch Testing Day.
  • 2007: Programme Committee, Web Services - Modeling and Testing.
  • 2006: Organising Committee, TANGRAM.
  • 2004-2006: Organised the Nijmegen Testing Colloquium.
  • 2001: Organising Committee, Dutch Testing Day.
  • 1999-2003: member of the PhD student council of the Dutch Research School IPA.
  • 1999-2002: PhD representative in the board of Computer Science.
  • 1999-2001: Organised the Computer Science PhD Colloquium.
  • 1999: Organised the Visual Formal Methods symposium.



REVIEWING
  • Journals: Theoretical Computer Science, Journal of Logic and Algebraic Programming, Journal of Software Engineering and Knowledge Engineering, IEEE Transactions on Computers, IEEE Transactions on Software Engineering, Science of Computer Programming, The Computer Journal, Logical Methods in Computer Science, ...
  • Conferences/Workshops: CONCUR, DATE, EPEW, EXPRESS, FATES, FM, FMCO, FMICS, FORMATS, FORTE, FSEN, ICALP, ISSRE, ITM, MBT, NFM, PSI, SAC, SDL, SFEDL, SOQUA, SPIN, TACAS, TESTCOM, TESTDAG, VLFM, WS-MATE, ...



OTHER ACTIVITIES
  • 1998-2004: Member of the Studium Generale Music Committee.
  • 1998-2003: Member of the TafkaTaM art collaboration.
  • 1994-1995: Member of the Studium Generale Working group on SF.