Gilles Dowek
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| Membre de | |
|---|---|
| Directeur de thèse |
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 trans à 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]- Dowek, Gilles (1966-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le )
- Sur le site de l'équipe de logique de l'Université Paris 7
- « Conférence sur le PaCS le mardi 21 novembre 2000 »
- « Gilles DOWEK | Académie française », sur www.academie-francaise.fr (consulté le )
- La Recherche n°500, juin 2015, p94
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
- Ressource relative à la littérature :
- Ressource relative à plusieurs domaines :
- Page personnelle de Gilles Dowek en français
