معرفی
Gilles Dowek is a Professor at École Polytechnique and a researcher at LIX (Laboratoire d'informatique) and INRIA. He has made significant contributions to the Coq system and higher-order lambda calculus. His work bridges computer science and philosophy, focusing on the epistemology of computing.
- Key Affiliations: École Polytechnique, LIX, INRIA
- Research Focus: Theoretical foundations of computation, formal methods, and philosophy of science.
He received the Grand Prix de Philosophie from the Académie Française for his book Les Métamorphoses du calcul, which explores the evolving role of calculation in mathematics and science.
۰مقاله منتشرشده
