Antoine MINÉ

Responsibilities

Leader of the APR team,
Co-responsible for the "Safety, security and reliability" axis at LIP6

Awards

IUF junior member

Selected publications

- R. Monat, A. Ouadjaout, A. Miné. Static type analysis by abstract interpretation of Python programs. To appear in Proc. of the 34th European Conference on Object-Oriented Programming (ECOOP'20), virtual conference, Jul. 2020. Dagstuhl Publishing. 

- B. Kabi, É. Goubault, A. Miné, S. Putot. Combining zonotope abstraction and constraint programming for synthesizing inductive invariants. To appear in Proc. of the 13th International Workshop on Numerical Software Verification (NSV'20), virtual conference, Jul. 2020. Springer. 

- A. Ouadjaout, A. Miné. Quantitative Static Analysis of Communication Protocols using Abstract Markov Chains. In Formal Methods in System Design, Springer Verlag, 2019, 54 (1), pp.64-109.

-  M. Journault, A. Miné. Inferring functional properties of matrix manipulating programs by abstract interpretation. In Formal Methods in System Design, Springer Verlag, 2018, 53(2), pp. 221–258.

International collaborations

Research Center for Scientific and Technical Information (Algeria), University of Sciences and Technology Houari Boumediene (Algeria), National University of Defense Technology (China), Federal Institute of Technology Zurich (Switzerland), New York University (USA)

Industrial collaborations

Airbus (France),

Nomadic Labs (France)