Gilles Dowek
Gilles Dowek (20 December 1966 – 21 July 2025) was a French computer scientist and logician.
Biography
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]
Personal life
Dowek was a homosexual, and chaired the Association for the Recognition of the Rights of Homosexual and Trans People to Immigration and Residence.[5]
References
- ^ "Wayback Machine". www.logique.jussieu.fr. Archived from the original on 2015-11-19. Retrieved 2025-07-21.
- ^ "Gilles Dowek : podcasts et actualités". Radio France (in French). 1 January 1970. Retrieved 2025-07-21.
- ^ "Gilles DOWEK | Académie française". www.academie-francaise.fr. Retrieved 2025-07-21.
- ^ "Gilles Dowek, informaticien engagé et vulgarisateur, est mort" (in French). 21 July 2025. Retrieved 2025-07-21.
- ^ "Conference sur le PaCS le mardi 21 novembre 2000". lgbt51.free.fr. Retrieved 2025-07-21.
External links
- Gilles Dowek at IMDb