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.
Polarized Resolution Modulo
(long version).
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.
P. Arrighi and G. Dowek,
On the completeness of quantum
computation models.
G. Dowek and Y. Jiang,
On the expressive power of schemes.
Une deuxième révolution galiléenne ?
est en librairie, et
également
sur
amazon.fr
et
fnac.com.