Researcher portraits, Research
Gilles Dowek: at the crossroads of computer science, logic and philosophy
… published this portrait of Gilles Dowek, who passed away on Monday, 21 July 2025. This portrait will continue to … proof systems and the lack of equivalence between them, he set out to develop universal logical frameworks. "I felt … supérieure Paris-Saclay as an associate professor. He was particularly involved in teaching at Master's level, …
Published on: