Antoine Miné's Web Site

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

• Version 1.0 of MOPSA is available!
  It can be installed as an Opam package using the command: opam install mopsa
  You can also access its sources on GitLab, and its documentation.
  

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:

• numerical abstract domains (e.g., , the Apron library);
• analysis of floating-point computations (e.g., );
• modeling and analysis of memory with a low-level (C-like) semantics (e.g., );
• analysis of embedded critical software (e.g., , the Astrée static analyzer);
• analysis of multi-task programs (e.g., , the AstréeA static analyzer).

PhD students & Post-docs

PhD students

• Milla Valnet (Sept. 2023-), co-advising with Raphaël Monat
• Marco Milanese (Nov. 2022-)
• Mamy Razafintsialonina (Oct. 2022-), co-direction with Julien Signoles (CEA) and co-advising with Valentin Perelle (CEA)
• Guillaume Bau (Oct. 2020-)

Past PhD students

• Francesco Parolini (Oct. 2020-June 2024)
• David Delmas (Jan. 2018-Dec.2022)
• Raphaël Monat (Sep. 2018-Nov. 2021)
• Matthieu Journault (Sep. 2016-Nov. 2019)
• Ghiles Ziat (Jan. 2016-Jul. 2019), co-direction with Charlotte Truchet
• Thibault Suzanne (Sep. 2014-Mar. 2019)
• Caterina Urban (Dec. 2011-July. 2015), co-direction with Radhia Cousot

Past post-docs

• Abdelraouf Ouadjaout (Jan. 2016-Aug. 2021)
• Marie Pelleau (Feb. 2016-Sep. 2017)
• Alexandre Maréchal (Mar. 2018-Fev. 2019)

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):

• L3, Licence de Sciences et Technologies, Mention informatique, Sorbonne Université : Programmation par objets (LU3IN002)
• L3, Licence de Sciences et Technologies, Mention informatique, Sorbonne Université : Programmation comparée (LU3IN032)
• M1, Master d'informatique, Spécialité STL, Sorbonne Université : Développement d’un langage de programmation
• M2, Master d'informatique, Spécialité STL, Sorbonne Université :Typage et analyse statique
• M2, Master MPRI, Université Paris Cité : Abstract interpretation: Application to verification and static analysis

[See past teaching]

Contact

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