Professeur d’Informatique à l’École polytechnique et chercheur à INRIA
Gilles DOWEK porte ses travaux 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 sûreté des logiciels. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.
Il a été visiteur à l’Université Carnegie Mellon à Pittsburgh, dans les laboratoires de la société Computational Logic à Austin et dans le laboratoire ICASE de la Nasa à Hampton, tous trois aux États-unis. Il a également enseigné à l’Université de Nanjing en Chine durant l’été 2002.
En 2000, la Société mathématique de France lui a remis le Grand prix d’Alembert des Lycéens en pour une action de diffusion des mathématiques auprès des jeunes.
Publications récentes
- Le temps des algorithmes, 2016 (éditions Le Pommier)
- Ce dont on ne peut parler il faut l’écrire, Langues et langages, 2016 (éditions Le Pommier)
