Pottier, François (19..-.... ; chercheur en informatique)

Pottier, François (19..-.... ; chercheur en informatique)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 090181921

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

Notice de type Personne

Point d'accès autorisé

Pottier, François (19..-.... ; chercheur en informatique)

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 : 19XX

Genre : Masculin

Notes

Note publique d'information :

Informaticien. Directeur de recherche, chercheur à l'INRIA (en 2020)

Identifiants externes

Identifiant HAL : francois-pottier

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

Identifiant ORCID : 0000-0002-4069-1235

Identifiant SCOPUS : 55919203500

Source

François Pottier. Depth-first search and strong connectivity in Coq. In Journées Francophones des Langages Applicatifs (JFLA), January 2015

Information trouvée : Informaticien

Inférence de flots d'information pour ML : formalisation et implantation / Vincent Simonet ; sous la direction de Guy Cousineau, François Pottier, 2004

Information trouvée : Directeur de thèse à l'Université de Paris 7, 2004

http://gallium.inria.fr/~fpottier/index.html.fr, 2020-12-09

Information trouvée : Directeur de recherche, chercheur à l'INRIA (en 2020)

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