Université de Mons

Founded in 2009 from the merger of the Université de Mons-Hainaut (founded in 1965) and the Faculté Polytechnique de Mons (founded in 1836), the Université de Mons (UMONS) is the largest higher education and research community in the province of Hainaut with approximately, 5000 students, more than 600 researchers within seven faculties and three institutes.

Students can obtain bachelor, master and doctorate degrees in various fields, the University of Mons offers around 40 degrees. Researchers are involved in fundamental as well as applied sciences, and also carry out expertise works for government bodies or private companies. UMONS takes part to numerous research programmes, both fundamental and applied, at a regional level but also at European and international levels.

UMONS will act as leader of WP1, and will be mostly involved in WP1 and WP2. They will also contribute to case studies (WP4), and participate in dissemination activities (WP5).

Key staff members

Dr. Thomas Brihaye received a Master in Mathematics and a PhD (June 2006) in Sciences from University of Mons-Hainaut. He is professor at University of Mons since October 2007, and leads the group of Effective Mathematics in the Mathematics Department. His current research interests are in theoretical computer science, with a strong interest in computer aided verification, and applications of mathematical logic and game theory to verification. He is the co-author of more than 30 research papers published in the best international peer reviewed journals or international conferences. He teaches game theory at UMONS.

Dr. Véronique Bruyère received a PhD (April, 1989) in Theoretical Computer Science from University Paris 7, France, and a PhD (March 1991) in Sciences from the University of Mons-Hainaut, Belgium. She is full professor at University of Mons since October 1999, and leads the group of Theoretical Computer Science in the Computer Science Department. Her current research interests are in theoretical computer science, with a strong interest in computer-aided verification, and in the theory of automata with its applications in arithmetic and logic. She is author of co-author of 60 research papers. She has served in the program committees of more than 25 international conferences, and she has organised or co-organised several conferences and workshops. She teaches automata theory and computability/complexity theory at UMONS.

Axel Haddad achieved his PhD in December 2013, he is now a Post-Doc researcher at UMONS. After having studied probabilistic tree automata and recursion schemes during his PhD, focusing on theoretical aspects of functional program transformation, he is currently investigating some quantitative game problems and their application to distributed systems.

Gabriel Renault Gabriel Renault (PhD 2013, Bordeaux) is a post-doc researcher in the Effective Mathematics group since September 2014. During his PhD, he worked on combinatorial game theory, both on particular games and a more general theory misère games. His main interest are in game theory and graph theory.