I am chargé de recherche (junior researcher) at the
Centre National de la Recherche Scientifique (CNRS), a French research organization.
I work at the Computer Science Department of the École normale supérieure (ÉNS, Paris), in the Abstract Interpretation and Semantics group, headed by Patrick Cousot. The group is common with the Abstraction project-team at 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:
I am involved in the organization of the following recent or upcoming conferences:
Some of my latest publications:
I teach a part of the Abstract Interpretation course, in the second year of the Master Parisien de Recherche en Informatique (MPRI) Master (course M2: 2-6).
I also teach part of a L3 course at the Computer Science Department of the École normale supérieure on Semantics and applications to verification.
|Phone||(+33) 1 44 32 21 17|
|Fax||(+33) 1 44 32 20 15|
Computer science lab
École normale supérieure
45, rue d'Ulm
75230 Paris Cedex 05