Thomas Brihaye

MathSciNet


Ph.D. Université de Mons-Hainaut 2006 Belgium
Dissertation: Verification and Control of O-Minimal Hybrid Systems and Weighted Timed Automata
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: Christian Michaux
Advisor 2: Véronique Bruyère

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Bohy, AaronUniversité de Mons2014
Carlier, PierreUniversité de Mons and Université Paris-Saclay2017
De Pril, JulieUniversité de Mons-Hainaut2013
Ducobu, MarcUniversité de Mons2013
Estiévenart, MorganeUniversité de Mons2015

According to our current on-line database, Thomas Brihaye has 5 students and 5 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 116653 for the advisor ID.