Head of the team
- Véronique Bruyère, full professor
PhD students
- Guillaume Cardoen (supervised by Tom Mons, UMONS)
- Christophe Grandmont (supervised by Véronique Bruyère, UMONS, and Jean-François Raskin, ULB)
- Gaëtan Staquet (supervised by Véronique Bruyère, UMONS, and Guillermo Perez, UAntwerp)
Former PhD students
- Clément Tamines, 2022, On Pareto-Optimality for Verification and Synthesis in Games Played on Graphs (supervised by Véronique Bruyère, UMONS, and Jean-François Raskin, ULB)
- Gauvain Devillez, 2022, Proofs by transformation in extremal graph theory (supervised by Hadrien Mélot, UMONS, and Alain Hertz, Polytechnique Montreal)
- Aline Goeminne, 2021, Equilibria in Multiplayer Games Played on Graphs (supervised by Thomas Brihaye, UMONS, Véronique Bruyère, UMONS, and Jean-François Raskin, ULB)
- Quentin Hautem, 2018, The Complexity of Combining Objectives in Two-Player Games (supervised by Véronique Bruyère, UMONS, Mickaël Randour, UMONS-ULB, and Jean-François Raskin, ULB)
- Noémie Meunier, 2016, Multi-Player Quantitative Games: Equilibria and Algorithms (supervised by Véronique Bruyère, UMONS, and Jean-François Raskin, ULB)
- Dany Maslowski, 2015, Dichotomies in the Complexity of Counting Database Repairs (supervised by Véronique Bruyère, UMONS, and Jef Wijsen, UMONS)
- Mickaël Randour, 2014, Synthesis in Multi-Criteria Quantitative Games (supervised by Véronique Bruyère, UMONS, and Jean-François Raskin, ULB)
- Aaron Bohy, 2014, Antichain based algorithms for the synthesis of reactive systems (supervised by Thomas Brihaye, UMONS, Véronique Bruyère, UMONS, and Jean-François Raskin, ULB)
- Julie De Pril, 2013, Equilibria in Multiplayer Cost Games (supervised by Thomas Brihaye, UMONS, and Véronique Bruyère, UMONS)
- Marc Ducobu, 2013, Antichains for QBF evaluation and VPA decision problems (supervised by Thomas Brihaye, UMONS, Véronique Bruyère, UMONS, and Jean-François Raskin, ULB)
- Thomas Brihaye, 2006, Verification and control of o-minimal hybrid systems and weighted timed automata (supervised by Véronique Bruyère, UMONS, and Christian Michaux, UMONS)
- Hadrien Mélot, 2006, On automated and computer aided conjectures in graph theory (supervised by Véronique Bruyère, UMONS, and Pierre Hansen, HEC Montreal, Canada)
Former post-doc students
- Youssouf Oualhadj (november 2013 – august 2014)
- Olivier Gauwin (october 2009 – september 2011)
- Isabel Araùjo (october 2003 – september 2005)
Former member
- Olivier Delgrange, chef de travaux