MINÉ Antoine
Expertise
Discover the specialized technical skills and disciplinary affiliations of our members, who represent the federated communities of the Arts & Humanities, Science & Engineering, and Medicine within the Sorbonne University Alliance.
Activities
Overview the professional milestones, academic responsibilities, and international collaborations that drive our center’s double ambition to excel in both research and education.
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)