Gilles Dowek

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

Biographie

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 de Spécification et Vérification 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].

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

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)

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.