Advanced reduction techniques for model checking
Jeroen J. A. Keiren · TU/e Research Portal · 2013
Ultimately, I believe it was Michel Reniers who provided the spark that lit my scientific interest.Back in 2006 there was a position for a student assistant in the group that was then called Ontwerp en Analyse van Systemen.The candidate was expected to extend and improve tools in the mCRL2 toolset.Michel pointed out to Jan Friso that I might be interested in this job.In the end, I started working on mCRL2, together with Carst Tankink, in the summer of 2006.While doing this work it became more and more clear that I was interested in improving the way in which we develop software.I am confident that this, at least partly, was due to my involvement in the development of formal methods tools.Eventually, this interest in formal methods resulted in a graduation project that I carried out under supervision of Tim Willemse in 2009.At the MSc diploma ceremony, Tim said he wished for a long and fruitful collaboration in the future.I wonder whether he will be more careful with such phrasings in the future, since he definitely got what he wished for.Tim, thank you for supervising me in the way that you did.I would like to thank you for the great many things you taught me about doing research, and for asking the right questions at the right time.Looking at the papers that we have published together, I think our collaboration was, indeed, fruitful, and I hope there might be more to come.I would also like to take a moment to thank some people in particular, although I apologise up-front, since I will undoubtedly forget someone.