Summary

I am a full professor at the Computer Science Department of the Faculty of Sciences of the University of Mons (UMONS) in Belgium. I am responsable for the Theoretical Computer Science team. I teach courses in data structures, algorithms, compilers, calculability and complexity.

Team

Members and associated members

• Olivier Delgrange, Senior researcher
• Gauvain Devillez, Assistant
• Noémie Meunier, Collaborator
• Clément Tamines, PhD student

Teaching

Courses in French

Enseignement en Master en sciences informatiques à l'UMONS à Mons et à Charleroi (horaire décalé)

• Structures de données I (with Hadrien Mélot)
• Structures de données II
• Compilation
• Calculabilité et complexité
• Structures de données (horaire décalé)

Research

My main research interests are in computer aided verification and synthesis : game theory and its application to verification and synthesis, verification and control of timed and hybrid systems.

My other research interests are in automata theory, combinatorics on words, variable-length codes, and extremal graph theory.

Publications

• Publications on DBLP
• Publications on Google Scholar
• Publications on UMONS institutional repository
• Lothaire books, see my chapter "Codes" in the book Algebraic Combinatorics on words

Submit a paper to the Journal of Automata, Languages and Combinatorics

Collaborations

Main collaborations

• Teams of Thomas Brihaye, Hadrien Mélot, Mickael Randour, Jef Wijsen (UMONS, Belgium)
• Teams of Jean-François Raskin, Emmanuel Filiot, Gwénaël Joret (ULB, Belgium)
• Team of Guillermo A. Perez (UAntwerp, Belgique)
• Team of Bernard Boigelot (ULG, Belgium)
• Team of Olivier Carton (IRIF, Université Paris Diderot, France)
• Teams of Olivier Gauwin, Hugo Gimbert (LaBRI, Université de Bordeaux, France)
• Team of Clelia De Felice (Université de Salerno, Italy)
• Team of Dominique Perrin (IGM, Université Paris-Est Marne-la-Vallée, France)

Current and recent research projects

• FNRS PDR Project : Subgame perfection in graph games
• Cost Action CA16228: GAMENET (European Network for Game Theory)
• FP7 European Project: Collective Adaptative Systems Synthesis with Non-zero-sum Games Cassting
• Centre Fédéré en Vérification CFV

Events

Seminars

• Seminars of the Centre Fédéré en Vérification, organizer

Upcoming

• CIE 2020 (Computability in Europ), invited speaker
• UMI/Relax Workshop on Games, March 2020, India, invited speaker
• Automatha 2020, PC member
• CONCUR 2020, PC member
• LICS 2021, PC member
• FOSSACS 2021, PC member

Recent past

• Workshop - Theory and Algorithms in Graph and Stochastic Games (March 2019), co-organizer
• Journées Nationales 2019 du GDR IM, invited speaker
• MFCS 2019, PC member
• SR 2019, PC member
• Highlights 2019, PC member
• FCTTCS 2019, PC member
• GANDALF 2018, invited speaker
• Highlights 2018, PC member
• SR 2018, PC member
• MoRe 2018, PC member
• CSL 2018, PC member
• STACS 2018, PC member
• DLT 2017, invited speaker
• FCT 2017, PC member
• CSR 2017, PC member
• DBDBD 2016, co-organizer
• Highlights 2016, co-organizer
• Journées Montoises 2016, PC member
• MOVEP 2016, membre du CP
• QuantLA school, invited speaker
• MPS 2016, invited speaker
• AutoMathA 2015, PC member

Supervision

PhD students

• Clément Tamines, 2018-2022, on multi-player non zero-sum games (co-adviser with Jean-François Raskin, ULB)
• Aline Goeminne, 2017-2021, on multi-player non zero-sum games (co-adviser with Thomas Brihaye, UMONS, and Jean-François Raskin, ULB)
• Quentin Hautem, 2014-2018, The Complexity of Combining Objectives in Two-Player Games (co-adviser with Jean-François Raskin, ULB, and Mickaël Randour, ULB)
• Noémie Meunier, 2016, Multi-Player Quantitative Games: Equilibria and Algorithms (co-adviser with Jean-François Raskin, ULB)
• Dany Maslowski, 2015, Dichotomies in the Complexity of Counting Database Repairs (co-advisor with Jef Wijsen, UMONS)
• Mickaël Randour, 2014, Synthesis in Multi-Criteria Quantitative Games (co-adviser with Jean-François Raskin, ULB)
• Aaron Bohy, 2014, Antichain based algorithms for the synthesis of reactive systems (co-adviser with Thomas Brihaye, UMONS, and Jean-François Raskin, ULB)
• Julie De Pril, 2013, Equilibria in Multiplayer Cost Games (co-adviser with Thomas Brihaye, UMONS)
• Marc Ducobu, 2013, Antichains for QBF evaluation and VPA decision problems (co-adviser with Thomas Brihaye, UMONS, and Jean-François Raskin, ULB)
• Thomas Brihaye, 2006, Verication and control of o-minimal hybrid systems and weighted timed automata (co-adviser with Christian Michaux, UMONS)
• Hadrien Mélot, 2006, On automated and computer aided conjectures in graph theory (co-adviser with Pierre Hansen, HEC Montreal, Canada)

Post-docs

• Youssouf Oualhadj (november 2013 - august 2014)
• Olivier Gauwin (october 2009 - september 2011)
• Isabel Araùjo (october 2003 - september 2005)

Address

Véronique Bruyère

Email: veronique.bruyere replaceBy@ umons.ac.be
Tel: +32.65.37.34.44
Fax: +32.65.37.34.59

Localization		Postal address
Département d'Informatique		Département d'Informatique
Université de Mons		Université de Mons
Building De Vinci
Avenue Maistriau, 15		Place du Parc, 20
7000 Mons		7000 MONS
Belgium		Belgium