Gilles Dowek

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.

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.

(source : https://www.futura-sciences.com/sciences/personnalites/mathematiques-gilles-dowek-40/)