I’m an associate professor in the department of Computer Science at the Eindhoven University of Technology (TU/e). I am the head the Formal System Analysis group.
RESEARCH
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 fixed point logics, parity games and applications of model checking. My theories drive the verification technology offered by the mCRL2 toolset to which I contribute in some way or another.
Have a look at our past work verifying the control software of experiments at the LHC at CERN, developing tools and helping improve the quality of the software.
Drop me a mail if you think our group can help you improve your (software) designs. For MSc students looking for MSc final projects: there are external opportunities (e.g. Canon, ASML, Verum) but also in our group.
PUBLICATIONS
Have a look at my DBLP entry or my entry at Google Scholar; these are reasonably up-to-date.
ACADEMIC HISTORY
Prior to my current position, I held the following posts:
from March 2021 to December 2024, I had a part-time affiliation as a senior research fellow at TNO-ESI.
from September 2009 to September 2019, I had a part-time affiliation as a software engineer at CERN.
from January 2010 until December 2017, I was the managing director of the national research school IPA.
until June 2016, 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 year-long 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 CGI) in the division ATG, The Hague.
