Intervenant
gilles dowek
Professeur d'Informatique à l'École polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique (INRIA)
Biographie
Gilles Dowek est chercheur à Inria et professeur à l'École normale supérieure de 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.
Deux dernières parutions :
- Gilles Dowek, Ce dont on ne peut parler, il faut l'écrire, Editions Le Pommier, 2019
- Serge Abiteboul et Gilles Dowek, Le temps des algorithmes, Editions Le Pommier 2017