Résumé

Je suis professeur ordinaire au Département d'Informatique de la Faculté des Sciences de l'Université de Mons (UMONS) en Belgique. Je dirige le Service d'Informatique Théorique. J'enseigne des cours sur les structures de données, l'algorithmique, la compilation, la calculabilité et la complexité.

Equipe

Membres and membres associés

• Olivier Delgrange, Chef de travaux
• Gauvain Devillez, Assistant
• Noémie Meunier, Collaboratrice
• Clément Tamines, Doctorant

Enseignement

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

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

Recherche

Mes intérêts principaux en recherche se situent en vérification et synthèse assistée par ordinateur : théorie des jeux et ses applications à la vérification et la synthèse de systèmes, vérification et contrôle des automates temporisés et des systèmes hybrides.

Mes autres centres d'intérêt concernent la théorie des automates, la combinatoire sur les mots, les codes à longueur variable, et la théorie extrémale des graphes.

Publications

• Publications sur DBLP
• Publications sur Google Scholar
• Publications sur le Dépôt institutionnel de l'UMONS
• Livres de Lothaire, voir mon chapitre "Codes" dans le livre Algebraic Combinatorics on words

Soumettre un article dans le Journal of Automata, Languages and Combinatorics

Collaborations

Principales collaborations

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

Projets de recherche récents et actuels

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

Evénements

Séminaires

• Séminaires du Centre Fédéré en Vérification, organisatrice

A venir

• CIE 2020 (Computability in Europ), oratrice invitée
• UMI/Relax Workshop on Games, Mars 2020, Inde, oratrice invitée
• Automatha 2020, membre du CP
• CONCUR 2020, membre du CP
• LICS 2021, membre du CP
• FOSSACS 2021, membre du CP

Récemment passés

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

Encadrement

Doctorants

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

Post-doctorants

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

Adresse

Véronique Bruyère

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

Localisation		Adresse postale
Département d'Informatique		Département d'Informatique
Université de Mons		Université de Mons
Batiment De Vinci
Avenue Maistriau, 23		Place du Parc, 20
7000 Mons		7000 MONS
Belgique		Belgique