I'm an assistant professor in the Model Driven Software Engineering section of the CS department at the TU/e.

I'm interested in system verification and validation, and, more broadly, in all means and methods that help designing correct and reliable systems. Have a look at our verification tool suite mCRL2 to which I contribute in some way or another (mostly to the PBES tools and theory).

Have a look at our ongoing work verifying the control software of (by now all 4 of the largest) experiments at the LHC at CERN, and the bugs we found so far.


CURRENT SERVICE/MEMBERSHIPS
  • PC co-chair ICT.OPEN 2012
  • PC member SAC-SVT 2012
  • PC member Dutch Model Checking Day
  • I am managing director of the Dutch computer science research school IPA.
  • Societies: ACM SIGACT, EATCS, NVTI, IPA.


RESEARCH GRANTS
  • Verification of Complex Hierarchieval Systems (VOCHS, NWO grant), 2010--present.
  • A Common Framework for Reactive and Timed Systems (COMFORTS, NWO grant), 2006--2009.


ACADEMIC HISTORY

Prior to my current position, I held the following posts:
  • from September 2006 to September 2009, I worked as an assistant professor in the context of the NWO-funded BRICKS/FOCUS project COMFORTS on verification of reactive and timed systems using parameterised Boolean equation systems.
  • from February 2004 to September 2006, I worked as an industrial post-doctoral researcher at ASML in the Dutch Senter project Tangram on model-based methods for testing, diagnosis and integration. From January 2006 to September 2006, I was project leader of Line of Attention 3, responsible for Model-Based Testing methodology.
  • from November 2002 to January 2004, I worked as a researcher in Action 1 of the European project Artist. Also have a look at this book that was one of the results of this yearlong collaboration.
  • from October 1998 to November 2002, I was a PhD student at the TU/e, working under contract 612-014-008 of the Dutch Organisation for Scientific Research (NWO).
  • from October 1997 to July 1998, I did my Master's project at the company CMG (now called Logica) in the division ATG, The Hague.