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.
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 Université Paris Cité (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