[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.

Contact:

Research

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]

Software

Actively developed software

Industrialized software

Past and unmaintained software

Latest publications

Some of my latest publications:

[See all publications]

Recent talks


[See all talks]

Teaching

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]

Contact

Email
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
France