Laurent Mauborgne
PhD - École normale supérieure, in Paris, France
Researcher
IMDEA Software Institute
Bloque 3, Fac. Informática
Campus Montegancedo UPM
28660-Boadilla del Monte, Madrid
SPAIN
Office: 3331
Telephone: +34-91-101-2202 ext 4112
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/laurent.mauborgne/index.html
Email: 
Short bio
Laurent Mauborgne received his Ph.D. in Computer Science from École
Polytechnique, France, in 1999, and an Habilitation à diriger les
recherches from University Paris-Dauphine (France) in 2007. He has been
assistant professor at École normale superieure, Paris, from 2000 to 2010, and
associate director of computer science studies there from 2006 to 2009. He was also
part-time professor at École polytechnique. He was invited to spend a
year at IMDEA Software in August 2009.
He published 16 refereed papers in international conferences and 3 papers in
reviews. He gave courses in research summer schools and participated in the
European projects DAEDALUS and ES_PASS. He was program committee member of the
Static Analysis Symposium for 4 years. He is one of the authors of the
Astrée analyzer, a tool that proved the absence of run-time errors in
critical avionic codes.
The research of Laurent Mauborgne is focused on static analysis of programs and abstract interpretation. The goal is to develop theoretical as well as practical tools to analyze the behaviors of programs. This includes proving safety or temporal properties, optimizing compilation and computing resource usage. Among the recent subjects, he studied the cooperative combination of analyzes in different frameworks.
|
