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

• Aaron Bohy, PhD student
• Olivier Delgrange, Senior researcher
• Julie De Pril, PhD student
• Marc Ducobu, PhD student
• Xavier Gandibleux, Collaborator
• Dany Maslowski, PhD student
• Mickaël Randour, 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 : verification and control of timed and hybrid systems, game theory and its application to verification.

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

Publications

• List of my publications, my publications on DBLP
• Lothaire books, see my chapter "Codes" in the book Algebraic Combinatorics on words
• Slides of my talks

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

Collaborations

Main national collaborations

• Team of Thomas Brihaye
• Team of Hadrien Mélot
• Team of Jef Wijsen
• Team of Jean-François Raskin

international collaborations

• Team of Olivier Carton
• Team of Olivier Gauwin

Current research projects

• Games for Analysis and Synthesis of Interactive Computational Systems Gasics
• Centre Fédéré en Vérification CFV
• ARC Project : Game Theory for the Automatic Synthesis of Computer Systems
• FRFC-FNRS Project : Theory and Practice of Automata

Events

• Seminars of the Centre Fédéré en Vérification
• Mons Days of Theoretical Computer Science JM 2012
• Symposium on Theoretical aspects of Computer Science STACS 2012

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
Institut d'Informatique		Institut d'Informatique
Université de Mons		Université de Mons
Building Le Pentagone
Avenue du Champ de Mars, 6		Place du Parc, 20
7000 Mons		7000 MONS
Belgium		Belgium