Research Department

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. He devotes a portion of his working activity to duties including research coordination, prospecting, and scientific leadership on one or more research topics in his field of expertise. He is also in charge of a cross-disciplinary mission related to Inria's national or international actions and, in this role, reports to the research director.

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: Architecture Software Algorithmics Programming

Top

Inria Headquarters and research centres

Direct links

Social