paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 02935093XCopier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/02935093X/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Dowek, Gilles (1966-....)

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
Pays : France
Date de naissance :    1966
Genre : Masculin

Notes

Note publique d'information : 
Docteur en informatique (Paris 7, 1991)

Note publique d'information : 
Professeur à l'École polytechnique et chercheur à l'Institut national de recherche en informatique et en automatique (INRIA) en 2006

Note publique d'information : 
Directeur de recherche à l'Institut national de recherche en informatique et en automatique (INRIA) en 2011

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/27770984
Identifiant ORCID : 0000-0001-6253-935X
Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Gilles_Dowek
Identifiant SCOPUS : 6602138388
Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb12099604h
Identifiant ISNI : 0000000121255123

Source

Démonstration automatique dans le calcul des constructions / Gilles Dowek, 1991. Thèse de doctorat : Informatique : Paris 7 : 1991
Introduction à la science informatique : pour les enseignants de la discipline en lycée / dirigé par Gilles Dowek, CRDP de Paris, 2011

Information trouvée : Directeur de recherche à l'Institut national de recherche en informatique et en automatique (INRIA).
L'IA est-elle une chance ? / Miguel Benasayag, Gilles Dowek, Apolline Guillot ; [introduction et entretien mené par Sophie Gherardi], DL 2024

Information trouvée : Gilles Dowek est chercheur à l'INRIA et professeur à l'École normale supérieure de Paris-Saclay. Ses travaux portent sur la formalisation des mathématiques, les sytèmes de traitement des démonstrations, la physique du calcul, la sûreté des systèmes aéronautiques et spatiaux, et l'épistémologie et l'étique de l'informatique.
https://fr.wikipedia.org/wiki/Gilles_Dowek (2024-09-16)

Information trouvée : Gilles Dowek, né le 20 décembre 1966 est un informaticien et logicien français, ancien élève de l'École polytechnique (promotion X1985).

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