Gilles Dowek

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Gilles dowek)

Gilles Dowek, né le [1] est un informaticien et logicien français, ancien élève de l'École polytechnique (promotion X1985).

Biographie[modifier | modifier le code]

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 transsexuelles à l'immigration et au séjour)[3].

Travaux et distinctions[modifier | modifier le code]

Il a notamment travaillé sur le système Coq et ses fondements théoriques en lambda calcul.

Il a reçu 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].

Bibliographie[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)
  • 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.[5]
  • Le temps des algorithmes, Paris, Édition Le Pommier, coll. « Essais », , 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 », , 216 p. (ISBN 978-2-7465-1800-1)

Notes et références[modifier | modifier le code]

  1. Dowek, Gilles (1966-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le )
  2. Sur le site de l'équipe de logique de l'Université Paris 7
  3. « Conférence sur le PaCS le mardi 21 novembre 2000 »
  4. « Gilles DOWEK | Académie française », sur www.academie-francaise.fr (consulté le )
  5. La Recherche n°500, juin 2015, p94

Liens externes[modifier | modifier le code]