Gilles Dowek

Researcher at Inria and
professeur attaché at the ENS Paris-Saclay

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.