Gilles Dowek, né le à Paris est un informaticien et logicien français, auteur de travaux sur les méthodes formelles.
Biographie
Diplômé de l'École polytechnique (promotion X1985), Gilles Dowek soutient en 1991 une thèse de doctorat à l'université Paris 7 intitulée Démonstration automatique dans le calcul des constructions. Il enseigne à l'École polytechnique de 2002 à 2010 puis est chercheur à l’Institut national de recherche en informatique et en automatique (INRIA), rattaché au Laboratoire Méthodes Formelles (LMF) de l'École normale supérieure Paris-Saclay où il est également professeur attaché, jusqu'à son décès.
En 2011, il dirige un ouvrage intitulé Introduction à la science informatique, à l'intention des enseignants de la discipline en lycée, et depuis la création de l'association en 2012, il est membre du conseil scientifique de la Société informatique de France (SIF). En 2013, il est coauteur d'un rapport de l'Académie des sciences sur l'enseignement de l'informatique (2013) et, à partir de 2023, membre du conseil supérieur des programmes.
Il est l'auteur, de 2014 à 2021, de la chronique Homo sapiens informaticus dans le magazine Pour la science.
Il est sélectionné pour être membre de plusieurs comités de réflexion sur les enjeux liés à l’éthique du numérique, notamment le Comité National Pilote d’Éthique du Numérique (CNPEN), créée en , devenu le Comité Consultatif National d’Éthique du Numérique (CCNEN) en , mais aussi le Comité d'Ethique pour les Données d'Éducation (CEDE), et le Conseil National du Numérique (CCNUM).
Le , il est auditionné par la Commission d'enquête sur les effets psychologiques de TikTok sur les mineurs.
Engagé dans la défense des droits des homosexuels, il préside en 1999 l'Association pour la reconnaissance des droits des personnes homosexuelles et trans à l'immigration et au séjour (Ardhis).
Il meurt d'un cancer le , à l'âge de 58 ans.
Travaux Sur la page personnelle de Gilles Dowek, il liste une centaine de références entre 1994 à 2024, ces références comprenant des articles de revue scientifique, son travail de thèse et des interventions lors de conférences.
Gilles Dowek fonde la Deducteam, équipe de recherche de l'INRIA, qui développe des outils destinés à l'interopérabilité des assistants de preuve, et notamment le Deduktidedukti signifie déduire en Espéranto, dont Gilles Dowek est à l'origine. Il est à l'initiative de Logipedia, un projet d'encyclopédie de preuves mathématiques lancé en .
Distinctions Il reçoit en 2007 le Grand prix de philosophie de l'Académie française pour le livre Les Métamorphoses du calcul. Une étonnante histoire de mathématiques.
Il est lauréat du Prix scientifique Philips pour les jeunes en 1982, du European Philips contest for young researchers and inventors en 1983, du prix d'Alembert des lycéens de la Société mathématique de France en 2000, du prix La science se livre, du département des Hauts-de-Seine, avec Serge Abiteboul, en 2018.
Il reçoit le Grand prix Inria - Académie des sciences en 2023.
Il reçoit la Médaille Histoire des Sciences et Épistémologie de l'Académie des sciences en 2024.
Théâtre Gilles Dowek est co-auteur, avec Laurence Devillers et Serge Abiteboul, de la pièce de théâtre Qui a hacké Garoutzia ?. La première est donnée au Festival Off d'Avignon en , dans une mise en scène de Lisa Bretzner.
Hommages Ouvert, cultivé, engagé, vulgarisateur hors pair, doté d'un humour pince sans rire, Gilles Dowek était apprécié, et de nombreux témoignages et hommages ont suivi son décès.
Le , la Société Informatique de France (SIF) crée le prix Gilles Dowek qui récompense une personne ou un collectif pour l’ensemble de ses actions de médiation en informatique.
Une interview de Gilles Dowek datant de 2018 est rediffusée en son hommage sur Radio France internationale, les questions abordées sont et .
Le , à l'École normale supérieure Paris-Saclay, un colloque organisé en son hommage met en lumière plusieurs de ses contributions en recherche, enseignement, philosophie, vulgarisation et éthique.
Un appel à contribution pour un numéro spécial de Theoretical Computer Science, intitulé Universality in Logics and Physics, accueillera en 2027 des contributions explorant les liens entre la logique, le calcul et les théories physiques. Ce numéro est un hommage à l’héritage intellectuel de Gilles Dowek, .
Citation Gilles Dowek était un infatigable vulgarisateur, qui aimait particulièrement dialoguer avec des étudiants ou des lycéens. Ces temps d’échanges était essentiels à ses yeux.
Publications Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994) . . . . . . . . . . . . . . La Recherche n° 500, juin 2015, p. 94. . . . . . .
Notes et références
Liens externes
Page personnelle de Gilles Dowek en français
Catégorie:Naissance dans le 14e arrondissement de Paris Catégorie:Informaticien français Catégorie:Logicien français Catégorie:Vulgarisateur de mathématiques Catégorie:Essayiste français du XXe siècle Catégorie:Essayiste français du XXIe siècle Catégorie:Auteur publié par les éditions Flammarion Catégorie:Auteur publié par les éditions Le Pommier Catégorie:Lauréat du grand prix de philosophie Catégorie:Professeur à l'École polytechnique Catégorie:Assistant de preuve Catégorie:Théorie des types Catégorie:Élève de l'École polytechnique Catégorie:Étudiant de l'université Paris-Diderot Catégorie:Scientifique ayant fait état publiquement de son homosexualité Catégorie:Naissance en décembre 1966 Catégorie:Décès en juillet 2025 Catégorie:Décès dans le 5e arrondissement de Paris Catégorie:Décès à 58 ans