Gilles Dowek n’est plus parmi nous depuis le 21 juillet 2025. Il était informaticien, logicien, philosophe aussi. Il est né le 20 décembre 1966 et après des études à Polytechnique et une thèse d’informatique sous la direction de Gérard Huet, en 1991, il est devenu chercheur à l’Inria. C’est Serge Abiteboul et Claude Kirchner qui nous parlent de lui ici. Benjamin Ninassi, Pierre Paradinas, Thierry Viéville.
Sa passion pour la programmation débute tôt : à quinze ans, il conçoit un jeu de Mastermind qui lui vaut, en 1982, le Prix scientifique Philips pour les jeunes. C’est la première de nombreuses distinctions. En 2007, il obtient le (…)