SERVICE

  • 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, 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.