[Version française]


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.

I hold a Ph.D in Computer Science from the École Polytechnique and an Habilitation from the ÉNS.



Contact:

News

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 & Post-docs

PhD students

Past PhD students

Past post-docs

Current projects

Here are the research projects I am currently involved in:


[See all projects]

Conference organization


[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 Computer Science at Sorbonne Université (Paris 6) and Université Paris Cité (Paris 7):



[See past teaching]

Contact

Email
Phone (+33) 1 44 27 87 84
Address Antoine Miné
LIP6
Sorbonne University
Mailbox 169
Corridor 25-26, 3rd floor, Office 311
Campus Pierre et Marie Curie
4, place Jussieu
75252 Paris Cedex 05
France