Movatterモバイル変換

[0]ホーム
URL:

autoritespaprika.idref.frpaprika.idref.frdata.idref.frdata.idref.frDocumentationDocumentation

Bonjour,

  • Bienvenue sur IdRef, Identifiants et référentiels pour l'Enseignement supérieur et la Recherche.
Identifiant pérenne de la notice : 15500395XCopier cet identifiant (PPN)
Copier cet URI
Notice de type Personne

Point d'accès autorisé

Filliâtre, Jean-Christophe (1971-.... ; 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 :    1971

Notes

Note publique d'information : 
Informaticien. Directeur de recherche CNRS, Laboratoire méthodes formelles (LMF, UMR 8021), École normale supérieure Paris-Saclay, Université Paris-Saclay (2024)

Note publique d'information : 
Doctorat en sciences techniques (Orsay, Université Paris-Sud, 1999)

Identifiants externes

Identifiant HAL : jean-christophe-filliatre
Identifiant ORCID : 0000-0003-2359-975X
Identifiant VIAF : http://viaf.org/viaf/15069726
Identifiant Wikidata : Q94148186
Identifiant SCOPUS : 6508329195
Identifiant ISNI : 0000000048210059

Source

Spécification et preuve de programmes d'ordre supérieur = Specification and proof of higher-order programs / Johannes Kanig ; sous la direction de Christine Paulin et Jean-Christophe Filliâtre, 2010 [thèse]
http://id.loc.gov/authorities/names/no2006012987, 2020-03-12

Information trouvée : Filliâtre, Jean-Christophe
https://catalogue.bnf.fr/ark:/12148/cb15114401n, 2020-03-12

Information trouvée : Filliâtre, Jean-Christophe
https://www.lri.fr/~filliatr/index.fr.html, 2024-03-07

Information trouvée : Informaticien. Directeur de recherche CNRS, Laboratoire méthodes formelles (LMF, UMR 8021), École normale supérieure Paris-Saclay, Université Paris-Saclay

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

[8]ページ先頭
©2009-2025 Movatter.jp