Gilles Dowek

Gilles Dowek est chercheur à Inria et professeur attaché à l’ENS Paris-Saclay. Ses travaux portent sur la formalisation des mathématiques, les systèmes de traitement des démonstrations, la physique du calcul, la sûreté des systèmes aéronautiques et spatiaux, et l’épistémologie et l’éthique de l’informatique. Il est l’auteur de nombreux livres dont Les Métamorphoses du Calcul (Le Pommier, 2007, Grand Prix de Philosophie de l’Académie française), Le Temps des algorithmes (Le Pommier, 2017, en coopération avec Serge Abiteboul, Prix La Science se livre), et Ce dont on ne peut parler, il faut l’écrire (Le Pommier, 2019).