IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Laurent Mauborgne

Laurent Mauborgne

La información de esta página podría estar desactualizada debido a que Laurent Mauborgne no es actualmente miembro del Instituto.

Laurent Mauborgne
PhD - Escuela Normal Superior de París, Francia
Antiguo Faculty Researcher

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.

Research Interests

Program analysis, Abstract interpretation, Abstract domains, Symbolic representations.