Gilles DOWEK

Informaticien et logicien, Gilles Dowek est diplômé de Polytechnique, chercheur à l’Institut national de recherche en informatique et en automatique (Inria) et professeur à l’École normale supérieure de Paris Saclay. Ses travaux portent principalement sur la formalisation des mathématiques et les systèmes de traitement des démonstrations. Il a été consultant pour le National Institute of Aerospace, un laboratoire de la NASA. Il œuvre à la diffusion du savoir dans la société et à la promotion de l'enseignement de l'informatique. Il s'intéresse à l'épistémologie et à l'éthique de l'informatique. Il est lauréat du Grand prix de philosophie de l'Académie française pour Les Métamorphoses du calcul. Une étonnante histoire de mathématiques. Il est aussi l’auteur avec Serge Abiteboul du livre Le temps des algorithmes. Il est membre du Conseil scientifique de la Société informatique de France, du Conseil scientifique de La main à la pâte et de la Commission de réflexion sur le numérique du Comité national pilote d’éthique du numérique.

« La révolution informatique peut nous mener au meilleur des mondes, mais aussi à un monde meilleur. Cela ne dépend que de nous. »

Site web personnel : http://www.lsv.fr/~dowek/index.html.fr