Gilles DOWEK

Gilles Dowek

Je suis chercheur à Inria au LSV, dans l'équipe Deducteam et professeur attaché à l'ENS Paris-Saclay.

Je m'intéresse à la formalisation des mathématiques (la théorie des types, la théorie des ensembles, etc.), aux systèmes de traitement des démonstrations (vérification de démonstration, démonstration automatique, etc.), à la physique du calcul et à la sûreté des systèmes aéronautiques et spatiaux. Voici la liste de mes publications.

Je participe à l'enseignement de préparation à l'Agrégation de mathématiques. J'enseigne le cours Fondements des systèmes de preuve au MPRI, voici son polycopié Proofs in theories. Voici les vidéos de dix cours de 1h30 chacun consacrés aux principes des langages de programmation que j'ai donné à l'École polytechnique.

Certaines de mes notes de cours sont publiées en livre d'autres sont en ligne.

Je m'intéresse aux questions d'éducation, j'essaie en particulier d'attirer l'attention des pouvoirs publics sur la nécessité d'enseigner l'informatique à l'école, au collège et au lycée. Je suis membre du groupe ITIC commun à la Société Informatique de France et à l'association Enseignement public & informatique. J'ai été membre du Groupe d'Experts constitué par le Ministre de l'Éducation Nationale pour proposer les programmes de la la spécialité Informatique et sciences du numérique en terminale S, ce qui a aboutit au programme publié au Bulletin officiel le 13 octobre 2011. J'ai participé à la rédaction du rapport de l'Académie des Sciences L'enseignement de l'informatique - Il est urgent de ne plus attendre. J'ai participé à la création du blog du Committee on European Computing Education. Je suis membre du Conseil scientifique de La main à la pâte.

Je suis membre du Conseil Scientifique de la Societé informatique de France et de la CERNA, la Commission de réflexion sur l'éthique de la recherche en sciences et technologies du numérique d'Allistene, l'Alliance des sciences et technologies du numérique. Par le passé, j'ai été Directeur scientifique adjoint d'Inria en charge du domaine Algorithmique, programmation, logiciels et architectures.

J'ai aussi été consultant pour le National Institute of Aerospace, qui est un laboratoire du centre de recherche de la NASA à Langley. J'ai, en particulier, participé au développement et à la preuve de ACCoRD, un système de détection et de résolution de conflits aériens.

Je fais de la médiation : des livres, des vidéos et je tiens une chronique dans Pour la Science.

Enfin, je m'intéresse à la philosophie des sciences. Voici quelques livres et articles.


new L'article et les transparents de mon exposé Analyzing individual proofs as the basis of interoperability between proof systems à Fifth Workshop on Proof eXchange for Theorem Proving
new Les transparents de mon exposé La modélisation et la conception d'algorithmes en contrôle aérien à l'EPITA.
new Les transparents de mon exposé Méthodes formelles et apprentissage ? aux rencontres Inria / Thalès.
newÉcrans de fumée
new Les transparents de mon exposé On the difference between formal and natural languages à l'Universidade do Estado do Rio de Janeiro.
new Les transparents de mon exposé Curry-de Bruijn-Howard correspondence, introduction rules, and cuts, in general à Mirantão.
new Les transparents de mon exposé Simulation of physical phenomena with cellular automata au I Workshop Escola de Inverno em Teoria da Computação.
new Leçons 
de mathématiques d'aujourd'hui : Volume 5 en librairie le 30 mai.
new Le temps des algorithmes mentionné ici, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ...
new Happy birthday Luiz Carlos: Why is this a Proof?
publications scientifiques, notes de cours, publications en philosophie des sciences, livres, vidéos

À propos du LSV

Contact

Gilles DOWEK
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Secr.
+33 (0)1 47 40 75 20
E-Mail
(myfirst).(lastname)@ens-paris-saclay.fr