Consortium

Gilles Dowek

ENS Paris-Saclay
INRIA

Website 
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.