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