Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

201421111R : ANTIQUE Analyse Statique par Interprétation Abstraite
Unité de recherche (situation 2026)

Responsable(s)

- Jérôme FERET à partir du 01/01/2025

Etablissements.
	INRIA - Institut national de la recherche en informatique et automatique (E ) (établissement tutelle à partir de 2014) Etablissement référent
	ENS PARIS - Ecole Normale Supérieure Paris ( ) (établissement tutelle à partir de 2015)
	CNRS - Centre national de la recherche scientifique ( ) (établissement tutelle à partir de 2015)

Adresse 75005 Paris	Contact courriel : Xavier.Rival@inria.fr
Site web : http://www.inria.fr/equipes/antique
Taille en ETP (sans compter les stagiaires): non renseignée.
Descriptif : Aucun.
Année de création : 2014
Mission de la structure : Non renseignée.
Mode de gestion de la structure : Non renseigné.
SIRET de la structure : Non renseigné.
Classement scientifique ERC Non renseigné
Domaine scientifique - 9 : Sciences et technologies de l'information et de la communication 2014 0
Ecole(s) doctorale(s) de rattachement Non renseigné
Rattachée au(x) programme(s) LOLF suivant(s): Non renseigné
Rattachée au(x) thème(s) de recherche suivant(s): Non renseigné
Liens avec d'autres structures : Participe à : - Unité mixte 199812876J - Département d'Informatique de l'Ecole Normale Supérieure (lien non exclusif) - Structures Fédératives de Recherche 196718247G - Centre Inria de Paris (lien non exclusif)
Site ESR : Aucun.

Fiche mise à jour par Tifenn Graffin le 18/12/2024 à 19:32