Gilles DOWEK
Je suis chercheur à Inria et professeur attaché à l'ENS Paris-Saclay.
Je suis dans le Laboratoire de Méthodes Formelles, 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. Ce cours est en classe inversée, les vidéos sont ici. 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 suis membre du Comité national pilote d'éthique du numérique, du Conseil national du numérique, du Conseil Scientifique de la Societé informatique de France du Conseil scientifique de La main à la pâte et du Comite national francais d'histoire et de philosophie des sciences et des techniques.
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. 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.
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 j'ai tenu de mai 2014 à juin 2021 une chronique dans Pour la Science.
Calculs et
raisonnements de l'Antiquité à la théorie de la
démonstration à l'École d'été
Computation et
algorithmes : anciens et nouveaux enjeux pour la philosophie des
mathématiques
How
to express a theory in Dedukti? à la
1st
Dedukti school
Keep it simple
stupid à l'école d'été
Berger-Levrault
Explanation:
from ethics to logic au CEA
À Besançon :
Les quatre
concepts de l'informatique,
Concevoir son
propre langage de programmation
An
Ethical Turn in the Digital Industry?,
I&E Talk
Linear
lambda-calculus is linear au
French-Argentinian
Workshop on Logics and Dynamics of Programming Languages
Postdoctoral
position at Inria Saclay: B in Dedukti
A short presentation of Dedukti
and some questions to address, au colloque de lancement d'ICSPA
Civilisation
numérique. Ouvrons le débat !
Dictionnaire
du numérique
Pour
une éthique du numérique
Le Numérique au
Conseil d'État
Linear lambda-calculus is
linear
Quelques orientations futures du
numérique aux journées IG / IA-IPR NSI
Une proposition de stage de master :
Apprentissage automatique et traduction de démonstrations
formelles, avec Guillaume Lample
A New connective in natural deduction,
and its application to quantum computing à la Pontifícia Universidade Católica do Rio de Janeiro
Ecumenism: logical constants and
beyond à la Pontifícia Universidade Católica do Rio de Janeiro
Une proposition de stage de master :
Propriétés
formelles des interactions écologiques, avec Cédric
Gaucherel
Sommes-nous
plus libres parce que le monde va au hasard ?
Sharing geometry proofs across logics and
systems au 13th International
Conference on Automated Deduction in Geometry
A. Díaz-Caro and G. Dowek,
A New Connective in Natural Deduction,
and its Application to Quantum Computing,
18th
International Colloquium on Theoretical Aspects of Computing
Prix du meilleur article, partagé avec
Muhammad Hannan Khan, Osman Hasan et Shahid Khan pour leur article
Accelerating SpMV Multiplication in Probabilistic Model Checkers
using GPUs
Interacting
safely with an unsafe environment à Logical Frameworks
and Meta-Languages.
Explanation from ethics to logic (25
mn) au Symposium Fairness, Integrity and
Transparency of Formal Systems: Challenges for a Society Increasingly
Dominated by Technology
Douze leçons de logique
F. Blanqui, G. Dowek, É. Grienenberger, G. Hondet, and
F. Thiré,
Some axioms for mathematics
Les
questions éthiques posées par l'intelligence artificielle
(attention 1:22:29)
