PhD students
Mathematics genealogy project
Current PhD students
- Jeroen Verbakel (at TU Eindhoven, together with Asia van de Mortel-Fronczak and Pascal Etman)
- Marzhan Baubekova (at TU Eindhoven, together with Asia van de Mortel-Fronczak and Michel Reniers)
- Samina Kanwal (at VU Amsterdam, together with Fabio Massacci and Katja Tuma)
- Stefan Vijzelaar (at VU Amsterdam, together with Henri Bal)
- Robert Deckers (at VU Amsterdam, together with Patricia Lago)
Former PhD students
- Roy Overbeek, A Unifying Theory for Graph Transformation, VU Amsterdam, January 2024 (co-promotor Jörg Endrullis)
- Lars Moormann, Light at the End of the Tunnel: Synthesis-Based Engineering for Road Tunnels, TU Eindhoven, December 2022 (2nd promotor Pascal Etman, co-promotor Asia van de Mortel-Fronczak)
- Petar Vukmirović, Implementation of Higher-Order Superposition, VU Amsterdam, October 2022 (co-promotors Jasmin Blanchette, Stephan Schulz) cum laude, received the IPA Dissertation Award
- Alexander Bentkamp, Superposition for Higher-Order Logic, VU Amsterdam, May 2021 (co-promotors Jasmin Blanchette, Uwe Waldmann) cum laude, received the E.W. Beth Dissertation Prize, the Ackermann Award, the Bill McCune Award, and the IPA Dissertation Award
- Maurits Dijkstra, Unravelling Protein Sequence Specificity: A Functional and Structural Perspective, VU Amsterdam, January 2021 (joint 1st promotor Jaap Heringa, co-promotor Sanne Abeln)
- Ferdie Reijnen, Putting Supervisor Synthesis to Work: Controller Software Generation for Infrastructural Systems, TU Eindhoven, November 2020 (co-promotors Asia van de Mortel-Fronczak, Michel Reniers)
- Martijn Goorden, Supervisory Control Synthesis for Large-Scale Infrastructural Systems, TU Eindhoven, November 2019 (co-promotors Asia van de Mortel-Fronczak, Michel Reniers)
- Lennart Swartjes, Model-Based Design of Baggage Handling Systems, TU Eindhoven, September 2018 (co-promotors Bert van Beek, Michel Reniers)
- Fatemeh Ghassemi, Formal Modeling and Analysis of Mobile Ad hoc Networks, VU Amsterdam, March 2018 (co-promotor Bas Luttik)
- Allan van Hulst, Control Synthesis using Modal Logic and Partial Bisimilarity - A Treatise Supported by Computer Verified Proofs, TU Eindhoven, September 2016 (1st promotor Jos Baeten, co-promotor Michel Reniers)
- Archana Nottamkandath, Trusting Crowdsourced Information on Cultural Artefacts, VU Amsterdam, March 2016
- Daniel Gebler, Robust SOS Specifications of Probabilistic Processes, VU Amsterdam, November 2015 (co-promotor Pedro D'Argenio)
- Davide Ceolin, Trusting Semi-Structured Web Data, VU Amsterdam, July 2014 (joint 1st promotor Guus Schreiber, co-promotor Willem van Hage)
- Nicola Bonzanni, Towards Executable Biology, VU Amsterdam, November 2012 (joint 1st promotor Jaap Heringa, co-promotor Anton Feenstra)
- Elzbieta Krepska, Towards Big Biology: High-Performance Verification of Large-Scale Biological Systems, VU Amsterdam, September 2012 (joint 1st promotor Henri Bal, co-promotor Thilo Kielmann)
- Sonja Georgievska, Probability and Hiding in Concurrent Processes, TU Eindhoven, October 2011 (1st promotor Jos Baeten, co-promotor Suzana Andova)
- Rena Bakhshi, Gossiping Models: Formal Analysis of Epidemic Protocols, VU Amsterdam, January 2011 (2nd promotor Maarten van Steen)
- Taolue Chen, Clocks, Dice and Processes, VU Amsterdam, September 2009 (joint 1st promotor Jaco van de Pol)
- Jens Calamé, Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving, U Twente, September 2008 (joint 1st promotor Jaco van de Pol)
- Mohammad Torabi Dashti, Keeping Fairness Alive: Design and Formal Verification of Fair Exchange Protocols, VU Amsterdam, February 2008 (joint 1st promotor Jaco van de Pol)
- Anton Wijs, What to Do Next? Analysing and Optimising System Behaviour in Time, VU Amsterdam, October 2007 (joint 1st promotor Jaco van de Pol)
- Bahareh Badban, Verification Techniques for Extensions of Equality Logic, VU Amsterdam, September 2006 (co-promotor Jaco van de Pol)
- Miguel Valero Espada, Modal Abstraction and Replication of Processes with Data, VU Amsterdam, December 2005 (co-promotor Jaco van de Pol)
- Simona Orzan, On Distributed Verification and Verified Distribution, VU Amsterdam, November 2004 (co-promotor Jaco van de Pol)
- Nataliya Yustinova, Abstractions and Static Analysis for Verifying Reactive Systems, VU Amsterdam, November 2004 (co-promotor Natalia Sidorova)
- Jun Pang, Formal Verification of Distributed Systems, VU Amsterdam, October 2004
- Yaroslav Usenko, Linearization in µCRL, TU Eindhoven, December 2002 (1st promotor Jan Friso Groote)