Loading AI tools
informaticien, logicien et philosophe français De Wikipédia, l'encyclopédie libre
Gilles Dowek, né le [1] est un informaticien et logicien français, ancien élève de l'École polytechnique (promotion X1985).
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
Membre de | |
---|---|
Directeur de thèse |
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 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].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.