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:
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).
|Phone||(+33) 1 44 27 87 84|
UPMC - LIP6
Corridor 25-26, 3rd floor, Office 311
4, place Jussieu
75252 Paris Cedex 05