I'm an associate professor in the Model Driven Software Engineering section of the CS department at the TU/e, and have a part-time affiliation with CERN.
My research is in Algorithms and Logics for VErification (ALIVE), and, more broadly, in all means and methods that help designing correct and reliable systems. I work on algorithms and theory for PBES, parity games and model-based testing theories, and applications of model checking. My PBES theory drives the verification technology offered by the tool suite mCRL2 to which I contribute in some way or another.
Have a look at our work verifying the control software of (by now all 4 of the largest) experiments at the LHC at CERN, developing tools and helping improve the quality of the software.
Drop me a mail if you think I (or my group) can help you with improving your (software) designs.
Also, I have a concrete assignment involving verification and model transformations at Oce for your master's projects; if interested, feel free to drop by.
- I am managing director of the Dutch computer science research school IPA.
- I am member of the Next Gen Board of the HTSC
- Societies: ACM SIGACT, ACM SIGLOG, EATCS, NVTI, IPA.
- PC member of GaM
RESEARCH GRANTS (PI)
- Verification In the Cloud TO Radically Improve Analyses (VICTORIA, FP7 grant), 2014--2015.
- Verification of Complex Hierarchieval Systems (VOCHS, NWO grant), 2010--present.
- A Common Framework for Reactive and Timed Systems (COMFORTS, NWO grant), 2006--2009.
Prior to my current position, I held the following posts:
- until June 30, I worked as an assistant professor in the MDSE section.
- 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.