Sites Inria

Version française

Research Director


Gilles Dowek, Deputy Scientific Director

Gilles Dowek © Inria / Photo S. Tetu - La Company

Gilles Dowek has been appointed Deputy Scientific Director, replacing Hélène Kirchner. He takes charge of the "algorithms, programming, software and architectures" field.

Gilles Dowek is currently a Senior Research Scientist at Inria. Within the TYPICAL project team (Inria Saclay - Île-de-France), he has conducted research on the relationships between programming languages and mathematical language, on computerised systems for processing mathematical proofs, and on software security.

Previously, he was a researcher at Inria from 1993 to 2002, then a lecturer at the École Polytechnique from 2003 to 2010. He has also worked in the United States, at Carnegie Mellon University, Pittsburgh, in Computational Logic's laboratories in Austin and at the NIA (National Institute for Aerospace, NASA) in Hampton.

Gilles Dowek is particularly involved in introducing scientific to a wider audience. He has written several books for the general public on mathematical sciences. In 2000, the French Mathematical Society awarded him the "Grand prix d'Alembert des Lycéens" for his work raising awareness of mathematics among young people. He received the 2007 Philosophy Prize from the Académie Française for his book "Les métamorphoses du calcul, une étonnante histoire de mathématiques" (“The changing faces of calculations – the amazing history of mathematics”) (published by Éditions du Pommier).

Keywords: Software and architecture Programming Algorithmics