Current and past students
BSc final projects
- Martijn van Beest. Parallel dfa minimisation, April 2014 — February 2015.
MSc final projects
- Wouter Tromp. August 2016 – …
- Marion de Groot. August 2016 – …
- Menno Galama. Een model voor technisch beheer van IT, March 2016 – ….
- Vikram Saralaya. Verification of Control Software of Rijkswaterstaat, January 2012 – August 2012. Joint supervision with Jan Friso Groote and Anton Wijs.
- Sander Leemans. Formal Verification of the CMS Control System at CERN, September 2011 – July 2012. Joint supervision with Tim Willemse.
- Sven van Valburg and Koen Buitenhuis, Eca2: A tool that implements the energy aware dependent type system, October 2015 — January 2016. Joint supervision with Bernard van Gastel.
- Kevin van der Pol, Applying Gauss Elimination from Boolean Equation Systems to Simple Integer Equation Systems, September 2011 – January 2012. Joint supervision with Tim Willemse.
- Maarten van Dongen, Repository Mining on mCRL2, October 2011 – January 2012. Joint supervision with Alexander Serebrenik.