I am Full Professor at Sorbonne Université (formerly Université Pierre et Marie Curie or Paris 6), in Paris. I teach at the Engineering School (UFR 919) and do research in the APR Team (which I lead), at the LIP6 Laboratory.
I was junior member of the Institut Universitaire de France from 2016 to 2021.
Formerly, I was chargé de recherche (junior researcher) in Computer Science at the Centre National de la Recherche Scientifique (CNRS), a French research organization, working in the Computer Science Department of the École normale supérieure (ÉNS, Paris), in the Antique team (formerly Abstraction) common with INRIA Paris-Rocquencourt.
I hold a Ph.D in Computer Science from the École Polytechnique and an Habilitation from the ÉNS.
My main research interest is the improvement of the quality and reliability of software and computer systems through automated formal methods.
In particular, I design static analysis methods and tools able to
automatically infer at compile time properties of software,
such as the absence of certain kinds of errors.
The methods are semantics-based and provide rigorous mathematical
guarantees of software behaviors. Yet, they are approximate
in a provably sound way to achieve
tractable running times on real-life applications.
The methods are designed and proved by applying
Abstract Interpretation, a theory of sound semantic
More precisely, I have worked on the following subjects:
Here are the research projects I am currently involved in:
Some of my latest publications:
I teach Computer Science at Sorbonne Université (Paris 6) and University of Paris (Paris 7):
|Phone||(+33) 1 44 27 87 84|
Corridor 25-26, 3rd floor, Office 311
Campus Pierre et Marie Curie
4, place Jussieu
75252 Paris Cedex 05