Current PhD Students

• Nicola Bonzanni (together with Jaap Heringa and Anton Feenstra)
• Davide Ceolin (together with Guus Schreiber and Willem van Hage)
• Daniel Gebler (together with Bas Luttik)
• Fatemeh Ghassemi (at Sharif University of Technology in Tehran, together with Ali Movaghar)
• Elzbieta Krepska (together with Henri Bal and Thilo Kielmann)
• Archana Nottamkandath
• Stefan Vijzelaar (together with Henri Bal and Kees Verstoep)

Former PhD Students

• Sonja Georgievska, Probability and Hiding in Concurrent Processes, TU/e, October 2011 (1st promotor: Jos Baeten; co-promotor: Suzana Andova)
• Rena Bakhshi, Gossiping Models: Formal Analysis of Epidemic Protocols, VU, January 2011 (2nd promotor: Maarten van Steen)
• Taolue Chen, Clocks, Dice and Processes, VU, September 2009 (joint 1st promotor: Jaco van de Pol)
• Jens Calame, Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving, UT, September 2008 (joint 1st promotor: Jaco van de Pol)
• Mohammad Torabi Dashti, Keeping Fairness Alive: Design and Formal Verification of Fair Exchange Protocols, VU, February 2008 (joint 1st promotor: Jaco van de Pol)
• Anton Wijs, What to Do Next? Analysing and Optimising System Behaviour in Time, VU, October 2007 (joint 1st promotor: Jaco van de Pol)
• Bahareh Badban, Verification Techniques for Extensions of Equality Logic, VU, September 2006 (co-promotor: Jaco van de Pol)
• Miguel Valero Espada, Modal Abstraction and Replication of Processes with Data, VU, December 2005 (co-promotor: Jaco van de Pol)
• Simona Orzan, On Distributed Verification and Verified Distribution, VU, November 2004 (co-promotor: Jaco van de Pol)
• Natalia Yustinova, Abstraction and Static Analysis for Verifying Reactive Systems, VU, November 2004 (co-promotor: Natalia Sidorova)
• Jun Pang, Formal Verification of Distributed Systems, VU, October 2004
• Yaroslav Usenko, Linearization in µCRL, TU/e, December 2002 (1st promotor: Jan Friso Groote)