As a researcher, I am at le Laboratoire d'Informatique (LIX) at l'École polytechnique and at l'INRIA-Saclay-Île de France, in the project TypiCal. I am a consultant for the National Institute of Aerospace, a lab of the NASA Langley research center. I am interested in the formalization of mathematics (type theory, set theory, etc.), in proof processing systems (proof-checking, automated theorem proving, etc.), in the design of quantum programming languages and in the safety of aerospace systems. Here is the list of my publications.
Finally, I am also interested in philosophy of sciences and I write popular science.
The slides of my joint talk with Jamie
Gabbay at PPDP.
P. Arrighi and G. Dowek,
On the completeness of quantum
computation models and the slides of
our talk at CiE at Ponta Delgada.
Diophante sur dailymotion, grâce aux
Ernest.
The physical Church thesis as an
explanation of the Galileo thesis.
G. Dowek and Y. Jiang,
On the expressive power of schemes.
Les transparents de mon exposé à Roquencourt, le 9 juin 2010 :
Les quatre concepts de l'informatique et
Premiers principes des langages de programmation.
Une deuxième révolution galiléenne ?,
les
transparents.
Les mondes possibles et les mondes multiples,
exposé au séminaire Philosophie et
Mathématiques, le 12 avril 2010.
Que
voulons nous oublier ?
Éducation au numérique : qui doit s'en charger ?
(l'ensemble
du débat).
From proof theory to theories
theory,
Philosophy of the Information and Computing Sciences, Lorentz center, February 12th, 2010.
Polarized Resolution Modulo.
Comment les notions premières sont-elles
définies dans les mathématiques anciennes ? Exposé au
Séminaire commun CHSPAM – REHSEIS de SPHERE
Histoire et Philosophie des mathématiques,
le 2 février 2010.
est en librairie, et
également
sur
amazon.fr
et
fnac.com.