Equipe-projet
ANTIQUE
Analyse Statique par Interprétation Abstraite
Analyse Statique par Interprétation Abstraite
Centre(s) inria
Paris
Membres
Responsable de l'équipe
Nathalie Gaudechoux
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)
Enigma
Est-ce une antique machine à écrire ? Non point ! Sous cette apparence trompeuse se cache la clé des secrets de la Seconde Guerre Mondiale.
Histoire du numérique
Les chemins inattendus du transfert avec Matrix Lead
© Inria / Photo M. Sgandura
