- Computer Science Laboratory

MINÉ Antoine

Antoine Minéأستـاذ
وحـدة : APR
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 308
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE

+33 1 44 27 87 84
Antoine.Mine (at) nulllip6.fr
https://mine.perso.lip6.fr
https://mine.perso.lip6.fr

نشـطات البـحـث

Méthodes de vérification automatique de la sûreté des logiciels informatiques : analyse statique sémantique des programmes, découverte d'invariants, interprétation abstraite, application à la vérification des logiciels embarqués critiques (logiciels avioniques, automobiles, ...).

ثلاثة PhD Students (رئاسـة البـحث / تأطـير مـشـترك)

  • MILANESE Marco : Under-Approximated Program Analysis and Counter-Example Generation by Abstract Interpretation.
  • RAZAFINTSIALONINA Mamy : Incremental Static Analysis for Program Verification.
  • VALNET Milla : Static Value Analysis by Abstract Interpretation of Functional Languages and Application to OCaml Analysis.

خمسة past PhD Students (2019 - 2024) at Sorbonne University

ثلاثة past Postdoc (2012 - 2023) at Sorbonne University

إصدارات 2015-2025