Gilles DOWEK

Gilles Dowek

Je suis chercheur à Inria et professeur attaché à l'ENS Paris-Saclay.

Je suis dans le Laboratoire Spécification et Vérification, dans l'équipe Deducteam où nous développons le cadre logique Dedukti et l'encyclopédie Logipedia.

Je m'intéresse à la formalisation des mathématiques, aux systèmes de traitement des démonstrations, à la physique du calcul, à la sûreté des systèmes aéronautiques et spatiaux, et à l'épistémologie et à l'éthique de l'informatique. Voici la liste de mes articles scientifiques, quelques livres et articles philosophiques.

Je participe à l'enseignement de Logique en troisième année de Licence. 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 abouti 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. 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.


new Un chaos discret à Le hasard, le calcul et la vie, au Centre culturel international de Cerisy
new Trois transformations de la notion de vérité mathématique et Informatique et physique : quelques interactions au Festival d'astronomie de Fleurance
new Des algorithmes instinctifs
new Les questions éthiques posées par l'intelligence artificielle (attention 1:22:29)
new Logical frameworks, reverse mathematics, and formal proofs translation au 1st Joint Meeting Brazil-France in Mathematics
new Mon premier et second cours à la 11th International School on Rewriting
new Logipedia: towards a Wikipedia of formal proofs au séminaire en ligne franco-africain du 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 et les transparents de mon intervention
new Qu'est-ce que la pensée informatique ? à Grenoble
new Logipedia: a system-independent encyclopedia of formal proofs à Edinburg et à Grenoble
new Logipedia : vers un wikipédia des démonstrations formelles à Strasbourg
new Two consequences of the hypothesis that we are within the world, Experiencing reality directly, Jérusalem, et les transparents de mon intervention
new Instinct, language, and artificial intelligence, à la Conference on Robotics, AI, and Humanity, Science, Ethics, and Policy, Pontifical Academy of Sciences et Pontifical Academy of Social Sciences et les transparents de mon intervention
new .
new Le colloque de lancement de logipedia.science
.

publications scientifiques, notes de cours, publications en philosophie des sciences, livres, vidéos

À propos du LSV

Contact

Gilles DOWEK
Adresse
LSV, CNRS & ENS Paris-Saclay
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