Le Grand prix 2023 Inria-Académie des sciences a été décerné à Gilles Dowek.
Parallèlement à ses travaux scientifiques et techniques, Gilles Dowek a contribué à la construction d'une philosophie naissante de l'informatique, qui se construit dans un dialogue entre philosophes et scientifiques. Il s'est, en particulier, intéressé à la place du calcul en mathématiques, à la différence entre les langues et les langages et aux rapports entre la thèse de Church-Turing et celle de Galilée.— Citation du prix
Le Prix Inria – Académie des sciences récompense depuis 2013 une ou un scientifique ayant contribué de manière exceptionnelle au champ des sciences informatiques et mathématiques.
La remise du prix aura lieu sous la Coupole de l'Institut de France, le 21 novembre 2023.
Crédit photo : Gilles Dowek — © Sébastien Dolidon / CC BY-SA 4.0