Formal Methods and Verification at ULB | Computer Science Department at ULB |
Moved to LSV, ENS Cachan, FranceLaurent Doyen
|
Coordinates (on leave) Laurent Doyen
Old homepage at EPFL, Switzerland >>> Research Group in Formal Methods and Verification <<< >>> Centre Fédéré en Vérification <<< >>> Computer Science Seminars <<< |
Short CV 2002 - 2006: Thèse de Doctorat en Sciences (Informatique). "Algorithmic Analysis of Complex Semantics for Timed and Hybrid Automata." 2002 - 2003 : DEA en Informatique. "A systematic implementation of simple timed controllers." 1997 - 2002 : Ingénieur civil informaticien (Faculté des Sciences Appliquées). Travail de fin d'études (M.Sc. Thesis): "Conception et vérification d'applications distribuées pour les robots Lego Mindstorms" |
Research Publications [by year] [by topic] Talks [ BibTex List] Keywords : real-time and hybrid systems, automata and game theory, quantitative and probabilistic verification, robustness. Co-authors
Projects
Past projects
|
Teaching INFO-F-302: Logique pour l'informatique, Prof. Jean-François Raskin |
Links
HyTech: a model-checker for hybrid automata. |
Personal My cycling pages [English] [French] Office's building in Brussels vs. Lausanne |