Dr. Laurent Mauborgne

Laurent Mauborgne

Curriculum vitæ

Laurent Mauborgne, born in 1971, studied at the École normale supérieure (ENS) in Paris from 1991 to 1996, and completed his PhD thesis titled “Representation of sets of trees for abstract interpretation” at the École polytechnique, Palaiseau, in 1999.

From 2000 to 2010, he served as Professor or Assistant Professor at the ENS as well as at the École polytechnique, and supervised or examined a number of internships and PhD theses. He was also a member or the president of the program committees of various international conferences and workshops, including the SAS and the NSAD.

In 2007, he completed his habilitation thesis on “Static analysis and symbolic abstract domains” at the Université Paris IX.

Starting in 2001 and to this day, Dr. Mauborgne has been working as a key developer on the static analyzer Astrée for automatic detection of runtime errors in C and C++ code, distributed by AbsInt under license from the ENS and the French National Centre for Scientific Research, CNRS.

Recent public appearances

  • Lipari Summer School on Abstract Interpretation
    September 2024, Lipari, Italy

Research interests

  • Functional safety
  • Sound static analysis
  • Runtime error analysis
  • Abstract interpretation

In these fields, Laurent Mauborgne has authored or co-authored over 30 peer-reviewed publications.

Selected publications