https://www.innovation-pedagogique.fr/article23183.html 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 (…) fr SPIP - www.spip.net