Gilles Dowek

Gilles Dowek

Biographie

Naissance	20 décembre 1966 (58 ans)
Nationalité	française
Formation	École polytechnique Université Paris-Diderot
Activités	Informaticien, philosophe, programmeur, professeur d'université

Autres informations

Membre de	Conseil national du numérique (2021)
Directeur de thèse	Gérard Huet

modifier - modifier le code - modifier Wikidata

Gilles Dowek, né le 20 décembre 1966^[1] est un informaticien et logicien français, ancien élève 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. Il est actuellement chercheur à l’INRIA, rattaché au Laboratoire Méthodes Formelles de l'École normale supérieure Paris-Saclay où il est également professeur attaché.

Il a présidé l'ARDHIS (Association pour la reconnaissance des Droits des personnes homosexuelles et trans à l'immigration et au séjour)^[3].

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^[4].

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.^[5]
• 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^[6].

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Dimensions
  • Mathematics Genealogy Project
  • ORCID
  • Scopus
• Ressource relative à la littérature :
  • Académie française (lauréats)
• Ressource relative à plusieurs domaines :
  • Radio France
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Espagne
  • Belgique
  • Pays-Bas
  • Israël
  • NUKAT
  • Tchéquie
  • Grèce
  • Corée du Sud
  • WorldCat
• Page personnelle de Gilles Dowek en français

• Portail de l'informatique théorique
• Portail de la logique