Sites Inria

English version

Direction de la recherche

16/11/2010

Gilles Dowek, directeur scientifique adjoint

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

Gilles Dowek est nommé  directeur scientifique adjoint, en remplacement d'Hélène Kirchner . Il  est chargé du domaine "algorithmique, programmation, logiciels et architectures".

Gilles Dowek est aujourd'hui directeur de recherche Inria. Au sein de l'équipe-projet TYPICAL (Inria Saclay -Île-de-France), il a mené ses recherches sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de démonstrations mathématiques et sur la sureté des logiciels.

Précédemment, il a été chercheur à l'institut de 1993 à 2002, puis professeur à l'École polytechnique de 2003 à 2010. Il a également exercé aux Etats-Unis, à l'Université Carnegie Mellon à Pittsburgh, dans les laboratoires de la société Computational Logic à Austin et au sein du NIA (National Institute for Aerospace, NASA) à Hampton.

Gilles Dowek est particulièrement engagé dans la médiation scientifique auprès du grand public. Il est l'auteur de plusieurs ouvrages de vulgarisation sur les sciences mathématiques. En 2000, la Société mathématique de France lui a remis le Grand prix d'Alembert des Lycéens pour son action de diffusion des mathématiques auprès des jeunes. Il a reçu le Grand Prix de Philosophie 2007 de l'Académie française pour "Les métamorphoses du calcul, une étonnante histoire de mathématiques" (éditions du Pommier).

Mots-clés : Programmation Logiciels et architectures Direction de la recherche Algorithmique

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !