Laurent Doyen

MathSciNet


Ph.D. Université Libre de Bruxelles 2006 Belgium
Dissertation: Algorithmic analysis of complex semantics for timed and hybrid automata
Mathematics Subject Classification: 68—Computer science

Advisor 1: Jean-François Raskin

Student:

NameSchoolYearDescendants
Reichert, JulienÉcole Normale Supérieure de Cachan2015

According to our current on-line database, Laurent Doyen has 1 student and 1 descendant.
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 211235 for the advisor ID.