UMONS > Faculté des sciences >Département d'Informatique >Véronique Bruyère

Changer de langue: Fr|En

     Véronique Bruyère


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

Teaching

Courses in French

Enseignement en Master en sciences informatiques à l'UMONS à Mons et à Charleroi (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

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

Collaborations

Main collaborations

Current and recent research projects

Events

Seminars Upcoming Recent past

Supervision

PhD students

Post-docs

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            photo
Département d'Informatique Département d'Informatique
Université de MonsUniversité de Mons
Building De Vinci
Avenue Maistriau, 15 Place du Parc, 20
7000 Mons7000 MONS
BelgiumBelgium