Aller au contenu

Gilles Dowek

Un article de Wikipédia, l'encyclopédie libre.
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

Gilles Dowek, né le à Paris où il est mort le [1],[2], est un informaticien et logicien français.

Biographie

[modifier | modifier le code]

Diplômé 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[2] 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[4].

Engagé dans la vulgarisation scientifique, il est l'auteur, de 2014 à 2021, de la chronique Homo sapiens informaticus dans le magazine Pour la science[5].

Il meurt d'un cancer le 21 juillet 2025, à l'âge de 58 ans[2].

Travaux et distinctions

[modifier | modifier le code]

Gilles Dowek 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.

Publications

[modifier | modifier le code]
  • Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)
  • La Logique, Paris, Flammarion, coll. « Dominos », , 126 p. (ISBN 2-08-035414-0).
  • Peut-on croire les sondages ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », 62 p. (ISBN 978-2-7465-0025-9).
  • Voulez-vous jouer avec les maths ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », , 64 p. (ISBN 978-2-7465-0052-5).
  • avec 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).
  • Les Métamorphoses du calcul : une étonnante histoire de mathématiques, Paris, Édition Le Pommier, coll. « Essais », , 223 p. (ISBN 978-2-7465-0324-3).
  • Ces préjugés qui nous encombrent, Paris, Édition Le Pommier, coll. « Manifestes », , 108 p. (ISBN 978-2-7465-0448-6).
  • La Logique, Édition Le Pommier, , 128 p. (ISBN 978-2-7465-0878-1)[7].
  • Le Temps des algorithmes, Paris, Édition Le Pommier, coll. « Essais », , 192 p. (ISBN 978-2-7465-1175-0).
  • Vivre, aimer, voter en ligne, et autres chroniques numériques, Paris, Édition Le Pommier, coll. « Impromptus ! », , 175 p. (ISBN 978-2-7465-1623-6).
    Recueil de textes parus dans la revue Pour la science entre mai 2014 et octobre 2017.
  • Ce dont on ne peut parler il faut l'écrire : langues et langages, Paris, Édition Le Pommier, coll. « Essais », , 216 p. (ISBN 978-2-7465-1800-1).

Théâtre

[modifier | modifier le code]

Gilles Dowek 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].

Notes et références

[modifier | modifier le code]
  1. ↑ Relevé des fichiers de l'Insee
  2. ↑ a b et c David Larousserie, « Gilles Dowek, informaticien engagé et vulgarisateur, est mort », Le Monde, no 25057,‎ , p. 19 (lire en ligne Accès payant)
  3. ↑ Sur le site de l'équipe de logique de l'Université Paris 7
  4. ↑ « Conférence sur le PaCS le mardi 21 novembre 2000 »
  5. ↑ Sean Bailly, « Gilles Dowek nous a quittés », Pour la Science,‎ (lire en ligne)
  6. ↑ « Gilles DOWEK | Académie française », sur www.academie-francaise.fr (consulté le )
  7. ↑ La Recherche n° 500, juin 2015, p. 94
  8. ↑ « Théâtre : une pièce où l'IA tient le premier rôle... »

Liens externes

[modifier | modifier le code]

v · m
Années 1980
Années 1990
Années 2000
Années 2010
Années 2020
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Gilles_Dowek&oldid=233234994 ».