Gilles Dowek
From Wikipedia, the free encyclopedia
Gilles Dowek (20 December 1966 – 21 July 2025) was a French computer scientist and logician.
Dowek was born on 20 December 1966 in Paris. In 1991, Gilles Dowek defended a doctoral thesis at the University of Paris 7 entitled Automatic Proving in the Calculus of Constructions.[1]
He taught at the École polytechnique from 2002 to 2010 and then was a researcher at INRIA, attached to the Formal Methods laboratory of the École normale supérieure Paris-Saclay where he was also an attached professor until his death.[2]
In 2007, he received the Grand Prix de philosophie de l'Académie française for his book The Metamorphoses of Calculus. An astonishing history of mathematics.[3]
He died in Paris on 21 July 2025 from cancer, aged 58.[4]
