Gilles Dowek est professeur d’Informatique à l’École polytechnique et chercheur à l’Institut National de Recherche en Informatique et en Automatique (INRIA). 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. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.
