Équipe

Chef de service

• Véronique Bruyère, professeur ordinaire

Premier assistant

• Pierre Vandenhove

Doctorants

• Guillaume Cardoen (supervisé par Tom Mons, UMONS)
• Christophe Grandmont (supervisé par Véronique Bruyère, UMONS, et Jean-François Raskin, ULB)
• Kévin Dubrulle (supervisé par Véronique Bruyère, UMONS, et Guillermo Perez, UAntwerp)

Anciens doctorants

• Gaëtan Staquet, 2024, Active Learning of Automata with Resources (supervisé par Véronique Bruyère, UMONS, et Guillermo Perez, UAntwerp)
• Clément Tamines, 2022, On Pareto-Optimality for Verification and Synthesis in Games Played on Graphs (supervisé par Véronique Bruyère, UMONS, et Jean-François Raskin, ULB)
• Gauvain Devillez, 2022, Proofs by transformation in extremal graph theory (supervisé par Hadrien Mélot, UMONS, et Alain Hertz, Polytechnique Montreal)
• Aline Goeminne, 2021, Equilibria in Multiplayer Games Played on Graphs (supervisé par Thomas Brihaye, UMONS, Véronique Bruyère, UMONS, et Jean-François Raskin, ULB)
• Quentin Hautem, 2018, The Complexity of Combining Objectives in Two-Player Games (supervisé par Véronique Bruyère, UMONS, Mickaël Randour, UMONS-ULB, et Jean-François Raskin, ULB)
• Noémie Meunier, 2016, Multi-Player Quantitative Games: Equilibria and Algorithms (supervisée par Véronique Bruyère, UMONS, et Jean-François Raskin, ULB)
• Dany Maslowski, 2015, Dichotomies in the Complexity of Counting Database Repairs (supervisé par Véronique Bruyère, UMONS, et Jef Wijsen, UMONS)
• Mickaël Randour, 2014, Synthesis in Multi-Criteria Quantitative Games (supervisé par Véronique Bruyère, UMONS, et Jean-François Raskin, ULB)
• Aaron Bohy, 2014, Antichain based algorithms for the synthesis of reactive systems (supervisé par Thomas Brihaye, UMONS, Véronique Bruyère, UMONS, et Jean-François Raskin, ULB)
• Julie De Pril, 2013, Equilibria in Multiplayer Cost Games (supervisée par Thomas Brihaye, UMONS, et Véronique Bruyère, UMONS)
• Marc Ducobu, 2013, Antichains for QBF evaluation and VPA decision problems (supervisé par Thomas Brihaye, UMONS, Véronique Bruyère, UMONS, et Jean-François Raskin, ULB)
• Thomas Brihaye, 2006, Verification and control of o-minimal hybrid systems and weighted timed automata (supervisé par Véronique Bruyère, UMONS, et Christian Michaux, UMONS)
• Hadrien Mélot, 2006, On automated and computer aided conjectures in graph theory (supervisé par Véronique Bruyère, UMONS, et Pierre Hansen, HEC Montreal, Canada)

Anciens post-doctorants

• Youssouf Oualhadj (novembre 2013 – août 2014)
• Olivier Gauwin (octobre 2009 – septembre 2011)
• Isabel Araùjo (octobre 2003 – septembre 2005)

Ancien membre

• Olivier Delgrange, chef de travaux