Gilles Dowek

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

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.

Vidéos