Equipe-projet
ANTIQUE
Analyse Statique par Interprétation Abstraite
Analyse Statique par Interprétation Abstraite
Centre(s) inria
Paris
Membres
Responsable de l'équipe
Gaudechoux Nathalie
Assistant(e) de l'équipe
Dans l'actualité
Les chemins inattendus du transfert avec Matrix Lead
Cezara Dragoi, lauréate ANR Jeunes Chercheuses et Jeunes Chercheurs (JCJC)
Les chemins inattendus du transfert avec Matrix Lead
© Inria / Photo M. Sgandura
Inria et le ministère de la Culture signent une convention-cadre
Enigma
Est-ce une antique machine à écrire ? Non point ! Sous cette apparence trompeuse se cache la clé des secrets de la Seconde Guerre Mondiale.
