Gilles Dowek
chercheur et enseignant en informatique
Page personnelle
Présentation :
Gilles Dowek est chercheur et enseignant en informatique. Il s'intéresse à la formalisation des mathématiques, aux systèmes de traitement des démonstrations, à la physique du calcul et à la sûreté des systèmes aéronautiques et spatiaux. Il est l'auteur de nombreux ouvrages destinés au grand public, notamment Les métamorphoses du calcul (Grand Prix de Philosophie de l'Académie Française) et Le temps des algorithmes (avec Serge Abiteboul).