Gilles Dowek
Gilles Dowek
| Naissance |  (57 ans) |
|---|---|
| Nationalité | française |
| Formation | École polytechnique Université Paris-Diderot |
| Activités | Informaticien, philosophe, programmeur, professeur d'université |
| Membre de | Conseil national du numérique () |
|---|---|
| Directeur de thèse |
modifier - modifier le code - modifier Wikidata
Gilles Dowek, né le [1] est un informaticien et logicien 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 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
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
- 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
- ↑ 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
- 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
v · m Lauréats du grand prix de philosophie | |
|---|---|
| Années 1980 |
|
| Années 1990 |
|
| Années 2000 |
|
| Années 2010 |
|
| Années 2020 |
|
Portail de l'informatique théorique 
Portail de la logique
