Wikipédia

Gilles Dowek

informaticien, logicien et philosophe français

Gilles Dowek, né le à Paris est un informaticien et logicien français, auteur de travaux sur les méthodes formelles[1].

Gilles Dowek
Gilles Dowek en 2015.
Biographie
Naissance
Décès
Nom de naissance
Gilles Adrien DowekVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
Membre de
Directeur de thèse

modifier - modifier le code - modifier WikidataDocumentation du modèle

Biographie

modifier

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[2]. 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[3], et depuis la création de l'association en 2012, il est membre du conseil scientifique de la Société informatique de France (SIF)[4]. 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[1].

Il est l'auteur, de 2014 à 2021, de la chronique Homo sapiens informaticus dans le magazine Pour la science[5].

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)[6], créée en , devenu le Comité Consultatif National d’Éthique du Numérique (CCNEN) en [7], mais aussi le Comité d'Ethique pour les Données d'Éducation (CEDE)[8], 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[9].

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)[10],[11].

Il meurt d'un cancer le , à l'âge de 58 ans[12].

Travaux

modifier

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[13].

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 logical framework (en) Dedukti[14], dont Gilles Dowek est à l'origine[15],[16]. Il est à l'initiative de Logipedia, un projet d'encyclopédie de preuves mathématiques lancé en .

Distinctions

modifier

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[17].

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[1].

Il reçoit la Médaille Histoire des Sciences et Épistémologie de l'Académie des sciences en 2024[18].

Théâtre

modifier

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[19].

Hommages

modifier

Ouvert, cultivé, engagé[12], vulgarisateur hors pair, doté d'un humour pince sans rire[20], Gilles Dowek était apprécié, et de nombreux témoignages et hommages[15] 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[21].

Une interview de Gilles Dowek datant de 2018 est rediffusée en son hommage sur Radio France internationale, les questions abordées sont « Comment vivre, travailler, aimer et voter à l’ère numérique ? » et « Comment, par petites touches, nous métamorphosons-nous en homo-sapiens numericus ? »[22].

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[23].

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, « dont les travaux ont jeté des ponts entre ces communautés »[24].

Citation

modifier

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.

« Le risque serait d'enfermer la science dans une fonction sociale annexe. Or elle doit avant tout être un objet de partage. En tant que chercheurs, ces rencontres nous amènent aussi à nous interroger régulièrement sur nos choix et nos orientations[1]. »

Publications

modifier
  • (en) Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)
  • Gilles Dowek, La Logique, Paris, Flammarion, coll. « Dominos », , 126 p. (ISBN 2-08-035414-0).
  • Jean-Michel Alimi, Gilles Dowek et Laurence Rolland, Quand la science a dit… c’est impossible !, Le Pommier, coll. « Quand la science a dit », , 159 p. (ISBN 978-2-7465-0048-8, EAN 9782746500488).
  • Gilles Dowek, Peut-on croire les sondages ?, Paris, Le Pommier, coll. « Les petites pommes du savoir », , 64 p. (ISBN 978-2-7465-0025-9, EAN 9782746500259).
  • Gilles Dowek, Voulez-vous jouer avec les maths ?, Paris, Le Pommier, coll. « Les petites pommes du savoir », , 64 p. (ISBN 978-2-7465-0052-5).
  • Gabriel Chardin, Gilles Dowek, Marc Lachièze-Rey, Hervé This et Georges Bram, Quand la science a dit… c’est bizarre !, Le Pommier, coll. « Quand la science a dit », , 160 p. (ISBN 978-2-7465-0158-4, EAN 9782746501584).
  • Gilles Dowek et Jean-Jacques Lévy, Introduction à la théorie des langages de programmation, Paris, Les Éditions de l’École polytechnique, , 110 p. (ISBN 978-2-7302-1333-2).
  • Gilles Dowek, Les Métamorphoses du calcul : une étonnante histoire de mathématiques, Paris, Le Pommier, coll. « Essais », , 223 p. (ISBN 978-2-7465-0324-3, EAN 9782746503243).
  • Gilles Dowek, Les principes des langages de programmation, Les Éditions de l’École polytechnique, , 171 p. (ISBN 978-2-7302-1526-8, EAN 9782730215268).
  • Gilles Dowek, Ces préjugés qui nous encombrent, Paris, Le Pommier, coll. « Manifestes », , 108 p. (ISBN 978-2-7465-0448-6, EAN 9782746504486).
  • Gilles Dowek, Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité, Les Éditions de l’École polytechnique, , 193 p. (ISBN 978-2-7302-1569-5, EAN 9782730215695, lire en ligne).
  • (en) Gilles Dowek, Proofs and Algorithms: An Introduction to Logic and Computability, Springer, coll. « Undergraduate Topics in Computer Science », , 156 p. (ISBN 978-0-85729-120-2, EAN 9780857291202).
  • Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Claudio Cimelli et Benjamin Wack, Informatique et sciences du numérique : spécialité ISN en terminale S, Eyrolles, coll. « Noire », , 312 p. (ISBN 978-2-212-13543-5, EAN 9782212135435).
  • Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack, Hugues Bersini et Guillaume Le Blanc, Informatique et sciences du numérique : édition spéciale Python !, Eyrolles, coll. « Noire », , 342 p. (ISBN 978-2-212-13676-0, EAN 9782212136760).
  • Benjamin Wack, Sylvain Conchon, Judicaël Courant, Marc de Falco, Gilles Dowek, Jean-Christophe Filliâtre et Stéphane Gonnord, Informatique pour tous en classes préparatoires aux grandes écoles : manuel d'algorithmique et programmation structurée avec Python, Eyrolles, coll. « Noire », , 390 p. (ISBN 978-2-212-13700-2, EAN 9782212137002).
  • Gilles Dowek, La Logique, Le Pommier, , 128 p. (ISBN 978-2-7465-0878-1, EAN 9782746508781)[25].
  • Gilles Dowek et Serge Abiteboul, Le Temps des algorithmes, Paris, Le Pommier, coll. « Essais-Manifestes », , 192 p. (ISBN 978-2-7465-1175-0, EAN 9782746511750).
  • (en) Gilles Dowek, Computation, Proof, Machine: Mathematics Enters a New Age, Cambridge University Press, , 160 p. (ISBN 978-0-521-11801-9, EAN 9780521118019).
  • Gilles Dowek, Jean-Pierre Bourguignon, Jean-Christophe Novelli et Benoît Rittaud, Jeux mathématiques et vice versa, Le Pommier, coll. « Le collège », , 155 p. (ISBN 978-2-7465-1620-5, EAN 9782746516205).
  • Gilles Dowek, Vivre, aimer, voter en ligne, et autres chroniques numériques, Paris, Le Pommier, coll. « Impromptus ! », , 175 p. (ISBN 978-2-7465-1623-6, EAN 9782746516236).
    Recueil de textes parus dans la revue Pour la science entre mai 2014 et octobre 2017.
  • Gilles Dowek, Intelligence artificielle : enquête sur ces technologies qui changent nos vies, Flammarion, coll. « Champs », , 261 p. (ISBN 978-2-08-144525-3, EAN 9782081445253).
  • Gilles Dowek, Ce dont on ne peut parler il faut l’écrire : langues et langages, Paris, Le Pommier, coll. « Essais », , 216 p. (ISBN 978-2-7465-1800-1, EAN 9782746518001).

Notes et références

modifier
  1. 1 2 3 4 « Gilles Dowek, explorateur des méthodes formelles », sur Inria, (consulté le )
  2. ↑ « Thèses soutenues », sur Institut de mathématiques de Jussieu – Paris Rive Gauche (IMJ-PRG) (consulté le )
  3. ↑ « Le livre-outil fondamental : Introduction à la science informatique », sur EPI (Enseignement public et informatique), (consulté le )
  4. ↑ « Composition du conseil scientifique de la SIF », sur Société informatique de France, (consulté le )
  5. ↑ Sean Bailly, « Gilles Dowek nous a quittés », Pour la Science,‎ (lire en ligne)
  6. ↑ Laurence Devillers et Gilles Dowek, « L’urgence ne doit pas devenir pour les géants du numérique l’occasion de prendre un trop grand pouvoir » Accès payant, sur Le Monde, (consulté le )
  7. ↑ « Hommage à Gilles Dowek : une pensée libre, rigoureuse, profondément humaine », sur Comité consultatif national d’éthique du numérique (CCNEN) (consulté le )
  8. ↑ « Rapport d'activité du Comité d'éthique pour les données d'éducation » [PDF], sur Ministère de l’Éducation nationale, (consulté le )
  9. ↑ « Compte rendu de réunion n° 5 - Commission d'enquête sur les effets psychologiques de TikTok sur les mineurs », sur Assemblée nationale, (consulté le )
  10. ↑ « Conférence sur le PaCS »,
  11. ↑ Martin Clavey, « L’« explorateur des méthodes formelles » Gilles Dowek est mort à 58 ans », sur Next, (consulté le )
  12. 1 2 David Larousserie, « Gilles Dowek, informaticien engagé et vulgarisateur, est mort », Le Monde, no 25057,‎ , p. 19 (lire en ligne Accès payant)
  13. ↑ (en) Gilles Dowek, « Research papers », sur ENS Paris-Saclay (consulté le )
  14. ↑ dedukti signifie déduire en Espéranto
  15. 1 2 (en) « Gilles Dowek (1966-2025), founder of Deducteam », sur Inria (consulté le )
  16. ↑ Serge Abiteboul et François Bancilhon, Vive les communs numériques ! logiciels libres, Wikipédia, le web, la science ouverte, etc, Odile Jacob, (ISBN 978-2-415-00798-0), p. 70
  17. ↑ « Fiche de Gilles DOWEK », sur Academie française (consulté le )
  18. ↑ « Gilles Dowek, médaillé 2023 et 2024 par l’Académie des sciences », sur ENS Paris-Saclay, (consulté le )
  19. ↑ Mohamed Kaci, « Théâtre : une pièce où l’IA tient le premier rôle... », sur tv5monde, (consulté le )
  20. ↑ « Hommage à Gilles Dowek, informaticien engagé », sur RFI, (consulté le )
  21. ↑ « Prix Gilles Dowek », sur Société informatique de France, (consulté le )
  22. ↑ Erreur de référence : Balise <ref> incorrecte : aucun texte n’a été fourni pour les références nommées "RFI"
  23. ↑ « Colloque en hommage à Gilles Dowek (1966-2025) », sur Inria, (consulté le )
  24. ↑ (en) Pablo Arrighi et Frank Pfenning (en), « Universality in Logics and Physics », sur ScienceDirect (consulté le )
  25. ↑ La Recherche n° 500, juin 2015, p. 94

Liens externes

modifier

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Gilles_Dowek&oldid=239421987 ».