[Version française]

I am chargé de recherche (junior researcher) in Computer Science at the Centre National de la Recherche Scientifique (CNRS), a French research organization. I am also maître de conférences attaché (attached part-time lecturer) at École normale supérieure (ÉNS, Paris).

I work 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 approximations.

More precisely, I have worked on the following subjects:

PhD Students

Current projects

Here are the research projects I am currently involved in:

[See all projects]

Conference organization

I am involved in the organization of the following recent or upcoming conferences:

[See all conferences]


Actively developed software

Industrialized software

Past and unmaintained software

Latest publications

Some of my latest publications:

[See all publications]

Recent talks

[See all talks]


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.

[See past teaching]


Phone (+33) 1 44 32 21 17
Fax (+33) 1 44 32 20 15
Address Antoine Miné
Computer science lab
École normale supérieure
45, rue d'Ulm
75230 Paris Cedex 05