Gilles Dowek

Gilles Dowek (20 December 1966 – 21 July 2025) was a French computer scientist and logician.