Gilles DOWEK

Gilles Dowek

I am a researcher at Inria and professeur attaché at the ENS Paris-Saclay.

I am a member of the Laboratoire Spécification et Vérification, in the Deducteam team where we develop the logical framework Dedukti and the encyclopedia Logipedia.

I am interested in the formalization of mathematics, in proof processing systems, in the physics of computation, in the safety of aerospace systems, and in the epistemology and ethics of informatics. Here is the list of my scientific papers and some books and philosophical papers.

I contribute to the Logique course in the third year of the bachelor degree. I contribute to the preparation of the Agrégation de mathématiques. I teach the course Foundations of proof systems at the MPRI. Here are its course notes Proofs in theories. Here are the videos of ten lectures of 1:30 each of the course the principles of programming languages I taught at École polytechnique.

Some of my course notes have been published, as books, others are on line.

I am interested in education and I try to draw the attention of the adminstration to the need of introducing computer science in K-12. I am a member of the joint ITIC group of the Société Informatique de France and the organization Enseignement public & informatique. I have been a member of the Committee apointed by the Minister of Education to suggest a computer science curiculum for senior high school students, this has lead to the curiculum published in the Bulletin officiel on October 13th 2011. I have participated to the report of the Academy of Sciences L'enseignement de l'informatique - Il est urgent de ne plus attendre. I am a member of the Scientific board of La main à la pâte.

I am a member of the Scientific board of the Societé informatique de France and of the CERNA, 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. In the past, I have been Deputy Scientific Director of Inria in charge of the domain Algorithmic, Programming, Software and Architectures.

I also have been a consultant for the National Institute of Aerospace, a lab of the NASA Langley research center. Among other things, I have participated to the development and the proof of ACCoRD, an Airborne Coordinated Conflict Resolution and Detection system.

I try to make science popular with books, videos, a monthly column in Pour la Science.

new Logical frameworks, reverse mathematics, and formal proof translation at the Workshop on Proof Theory and its Applications of the Proof society in Swansea
new Langages : Appréhender le réel, an interview in La Recherche
new De l'intérêt d'enseigner par projets
new Un chaos discret at Le hasard, le calcul et la vie, at the Centre culturel international de Cerisy
new Trois transformations de la notion de vérité mathématique and Informatique et physique : quelques interactions at the Festival d'astronomie de Fleurance
new Les questions éthiques posées par l'intelligence artificielle (beware 1:22:29)
new Logical frameworks, reverse mathematics, and formal proofs translation at the 1st Joint Meeting Brazil-France in Mathematics
new My first and second course at the 11th International School on Rewriting
new Logipedia: towards a Wikipedia of formal proofs at the on line Franco-African seminar of the Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
new How the physical Church-Turing thesis changed the concept of machine, PROGRAMme worshop 1: machines and the slides of my talk there
new Qu'est-ce que la pensée informatique ? in Grenoble
new Logipedia: a system-independent encyclopedia of formal proofs in Edinburg and in Grenoble
new Logipedia : vers un wikipédia des démonstrations formelles in Strasbourg
new Two consequences of the hypothesis that we are within the world, Experiencing reality directly, Jerusalem, and the slides of my talk there
new Instinct, language, and artificial intelligence, at the Conference on Robotics, AI, and Humanity, Science, Ethics, and Policy, Pontifical Academy of Sciences and Pontifical Academy of Social Sciences and the slides of my talk there
new .
new The kick off meeting

research papers, course notes, philosophy of sciences papers, books, videos

About LSV


Gilles DOWEK
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
+33 (0)1 47 40 75 20