.png)
6 hours ago
2
Cet article ou cette section traite d’une personne morte récemment (21 juillet 2025).
Le texte peut changer fréquemment, n’est peut-être pas à jour et peut manquer de recul. N’hésitez pas à participer, en veillant à citer vos sources.
Les biographies pouvant être écrites au présent de narration, merci de ne pas mettre systématiquement au passé les verbes actuellement au présent. L'emploi des mots « mort » et « décès » est discuté sur cette page.
La dernière modification de cette page a été faite le 21 juillet 2025 à 21:44.
Gilles Dowek, né le 20 décembre 1966[1] et mort le 21 juillet 2025 à Paris[2], est un informaticien et logicien français, ancien élève de l'École polytechnique (promotion X1985).
Gilles Dowek a soutenu en 1991 une thèse de doctorat à l'université Paris 7 intitulée Démonstration automatique dans le calcul des constructions[3]. Il enseigne à l'École polytechnique de 2002 à 2010 puis est chercheur à l’INRIA, rattaché au laboratoire Méthodes Formelles de l'École normale supérieure Paris-Saclay où il est également professeur attaché jusqu'à son décès d'un cancer[4] en 2025.
Homosexuel engagé, il a également présidé l'Association pour la reconnaissance des droits des personnes homosexuelles et trans à l'immigration et au séjour[5].
Il a participé au développement du cadre logique Dedukti.
Il a reçu 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[6].
Il a été 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 a reçu le Grand prix Inria - Académie des sciences en 2023.
Il a reçu la Médaille Histoire des Sciences et Épistémologie de l'Académie des sciences en 2024.
- Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)
- La logique, Paris, Flammarion, coll. « Dominos », 1995, 126 p. (ISBN 2-08-035414-0)
- Peut-on croire les sondages ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », 2002, 62 p. (ISBN 978-2-7465-0025-9)
- Voulez-vous jouer avec les maths ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », 2002, 64 p. (ISBN 978-2-7465-0052-5)
- Les Métamorphoses du calcul. Une étonnante histoire de mathématiques, Paris, Édition Le Pommier, coll. « Essais », 2007, 223 p. (ISBN 978-2-7465-0324-3)
- Ces préjugés qui nous encombrent, Paris, Édition Le Pommier, coll. « Manifestes », 2009, 108 p. (ISBN 978-2-7465-0448-6)
- La logique, Édition Le Pommier, 2015, 128 p.[7]
- Le temps des algorithmes, Paris, Édition Le Pommier, coll. « Essais », 2016, 192 p. (ISBN 978-2-7465-1175-0)
- Ce dont on ne peut parler il faut l'écrire, Langues et langages, Paris, Édition Le Pommier, coll. « Essais », 2016, 216 p. (ISBN 978-2-7465-1800-1)
Il est co-auteur de Qui a hacké Garoutzia ? avec Laurence Devillers et Serge Abiteboul, dont la première a été donnée au festival « off » d'Avignon en juillet 2023, dans une mise en scène de Lisa Bretzner[8].
- ↑ Dowek, Gilles (1966-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le 28 novembre 2016)
- ↑ « Gilles Dowek, informaticien engagé et vulgarisateur, est mort », Le Monde, 21 juillet 2025 (lire en ligne, consulté le 21 juillet 2025)
- ↑ Sur le site de l'équipe de logique de l'Université Paris 7
- ↑ « Gilles Dowek, informaticien engagé et vulgarisateur, est mort », Le Monde, 21 juillet 2025 (lire en ligne, consulté le 21 juillet 2025)
- ↑ « Conférence sur le PaCS le mardi 21 novembre 2000 »
- ↑ « Gilles DOWEK | Académie française », sur www.academie-francaise.fr (consulté le 6 février 2021)
- ↑ La Recherche n°500, juin 2015, p94
- ↑ « Théâtre : une pièce où l'IA tient le premier rôle... »
