Feret, Jérôme (1977-.... ; informaticien)

Feret, Jérôme (1977-.... ; informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 115664750

URI de l'entité : http://www.idref.fr/115664750/id

Notice de type Personne

Point d'accès autorisé

Feret, Jérôme (1977-.... ; informaticien)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français,anglais

Pays : France

Date de naissance : 1977

Genre : Masculin

Notes

Note publique d'information :

Informaticien. Directeur de recherche INRIA, responsable de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris (2025)

Note publique d'information :

Doctorat en Informatique (Palaiseau, École polytechnique, 2005)

Affiliation institutionnelle

Membre de Institut national de recherche en informatique et en automatique (France ; 1979-....) (en 2025)

Membre de Équipe de recherche Analyse statique par interprétation abstraite (Paris) (en 2025)

Membre de École normale supérieure. Département d'informatique (Paris ; 1985-....) (en 2025)

Identifiants externes

Identifiant ORCID : 0000-0002-2601-2785

Identifiant VIAF : http://viaf.org/viaf/190764593

Identifiant HAL : jerome-feret

Identifiant SCOPUS : 7003957850

Identifiant ZBMath : feret.jerome

Identifiant ISNI : 0000000139408845

Source

Analyse des systèmes mobiles par interprétation abstraite / par Jérôme Feret. Thèse, Palaiseau, 2005

http://id.loc.gov/authorities/names/nb2017020359, 2021-07-01

Information trouvée : Feret, Jérôme

https://www.di.ens.fr/~feret/, 2025-10-06

Information trouvée : Informaticien. Directeur de recherche INRIA, responsable de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris

... Références liées : ...