IMDEA Software

IMDEA initiative

Home > People > Laurent Mauborgne

Laurent Mauborgne

The information in this page may be outdated, as Laurent Mauborgne is currently not a member of the Institute.

Laurent Mauborgne
PhD - École Normale Supérieure Paris, France
Former Faculty Researcher


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.