Dowek, Gilles (1966-....)
France
Date de naissance
1966
Langues d'expression
français
Docteur en informatique (Paris 7, 1991)
Professeur à l'École polytechnique et chercheur à l'Institut national de recherche en informatique et en automatique (INRIA) en 2006
Directeur de recherche à l'Institut national de recherche en informatique et en automatique (INRIA) en 2011
Professeur à l'École polytechnique et chercheur à l'Institut national de recherche en informatique et en automatique (INRIA) en 2006
Directeur de recherche à l'Institut national de recherche en informatique et en automatique (INRIA) en 2011
Gilles Dowek est professeur d'Informatique à l'École polytechnique, chercheur au LIX (Laboratoire d'Informatique) à l'École polytechnique et à l'Institut National de Recherche en Informatique et en Automatique (INRIA), dans le projet TypiCal. Ses travaux portent sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de démonstrations mathématiques et sur la sureté des logiciels.
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
Premiers principes des langages de programmation
Dowek
Gilles
Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information)