SUPERVISION
Contact me or drop by for MSc projects on theory or applications of verification and validation techniques. Alternatively, have a look at our group's website for some projects.
CURRENT AND PAST STUDENTS
- PhD. students.
- Maciej Gazda, MSc. Started 2010.
- Jeroen Keiren, MSc. Started 2009.
- Bas Ploeger, PhD. 2005--2009. Now at Google Zurich.
- MSc. Final projects.
- Sander Leemans. Formal Verification of the CMS Control System at CERN, September 2011 -- present.
- Charl Linssen. Diagnostics for Model Checking, March 2010 -- January 2011.
- Jeroen Keiren. An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems, February 2009 -- July 2009.
- Tom Haenen. Strengthening methods for parameterized Boolean equation systems, March 2009 -- September 2010.
- Simon Janssen. Tools for Parameterized Boolean Equation Systems, February 2008 -- August 2008.
- Henk van de Crommert. Robotic devices as interfaces to Web services, March 2007 -- October 2007.
- Alexander van Dam. Instantiation of Parameterised Boolean Equation Systems, September 2006-- August 2007.
- Sander Leemans. Formal Verification of the CMS Control System at CERN, September 2011 -- present.
- PDEng. Final Projects.
- Sanda Contiu. Compliance Test Framework, December 2007--August 2008.
- Dmitri Jarnikov. Improving the Quality of Video Streaming over Wireless Networks, December 2002--August 2003.
- MSc. Seminars/Internships.
- Kevin van der Pol, Compositional Verification Techniques for mCRL2, September 2011 -- present.
- Tom Boshoven, Simulation Equivalence Reduction in Parity Games, September 2011 -- January 2012.
- Kevin van der Pol, Applying Gauss Elimination from Boolean Equation Systems to Simple Integer Equation Systems, September 2011 -- January 2012. Join supervision with Jeroen Keiren.
- Vincent Kusters, Preprocessing parity games with partial Gauss elimination, September 2010--January 2011.
- Rob Schoren, Correspondence between Kripke Structures and Labeled Transition Systems for Model Minimization, September 2010--January 2011.
- Shreya Adyanthaya. Adding Symmetry Reduction Techniques to mCRL2, September 2010--January 2011. Joint supervision with Mohammad Mousavi.
- Vincent Kusters. An Analysis of the CMS Control Software, internship CERN, March 2010--June 2010.
- Maarten Meulen. Combining Bounded Model Checking with Highway Search, September 2008-- December 2008.
- Jeroen Keiren. Small Progress Measures, Parity Games and Boolean Equation Systems, September 2008-- December 2008.
- Simon Janssen. Conjunctive and Disjunctive Boolean Equation Systems, September 2007-- December 2007.
- BSc. Internships.
- Ronald Kruithof. Remote Printer Servicing, December 2003
- Monique Ansems. Een flessen-vul systeem, September 2001
- Wouter Wiersma. Language-Driven System Design, July 2001; see publications for the conference and journal versions

