Laurent Mauborgne

Associate Professor
Associate director of computer science studies

I am a member of the Semantics and Abstract Interpretation team, at École Normale Supérieure.

Research
I study practical domains for abstract interpretation, in particular domains for sets of trees. I am also involved in the development of the ASTRÉE static analyzer.

The ASTRÉE static analyzer
Papers

Teaching

Practical works in computer sciences at École Normale Supérieure. The subjects can be found at this adress (solutions to first compilation TD).
Participation to the M2 course of the MPRI, Interprétation abstraite (Symbolic Abstract Domains 1, Symbolic Abstract Domains 2 and Symbolic Abstract Domains 3)
Courses at École Polytechnique.

Laurent Mauborgne
Département d'Informatique
École Normale Supérieure
45, rue d'Ulm 75 230 Paris cedex 05 (France)
Phone: +33 (0) 1 44 32 20 66
email: Laurent.Mauborgne@ens.fr
Public Key