Prix Michel Monpetit de l'Académie des sciences

Créé en hommage à Michel Monpetit, ce prix de l'Académie des sciences récompense un chercheur ou un ingénieur qui s'est distingué par ses travaux dans le domaine des mathématiques appliquées ou de l'informatique.


D'un montant de 5 300 euros, le prix Monpetit a été fondé en 1977 par l'Institut de recherche en informatique et en automatique (IRIA), en hommage à Michel Monpetit directeur adjoint de l'IRIA, décédé dans l'exercice de ses fonctions en 1976. Prenant la suite de l'IRIA, l'INRIA a poursuivi le financement de ce prix. Il est destiné à récompenser un chercheur ou un ingénieur ayant accompli dans un laboratoire français des travaux de mathématiques appliquées relevant en particulier de l'informatique ou de l'automatique, de la robotique, du traitement des signaux, etc…

Le lauréat devra s'être fait particulièrement remarquer par l'originalité des idées de base et le caractère appliqué de ses travaux. Ceux-ci pourront également être appréciés en fonction du souci de valorisation des résultats obtenus et des possibilités d'utilisation par l'industrie française.

Lauréat 2007 - Xavier Leroy

Xavier Leroy, 39 ans, est actuellement directeur de recherche à l'INRIA et responsable scientifique de l'équipe-projet GALLIUM à l'INRIA Paris - Rocquencourt. Ancien élève de l'École Normale Supérieure, il effectue son doctorat de l'université Paris 7 sous la direction de Gérard Huet, puis rejoint l'INRIA après un an de post-doc à l'université Stanford.

Les travaux de Xavier Leroy portent sur les nouveaux langages de programmation et l'amélioration de la fiabilité du logiciel. Le langage fonctionnel Objective Caml met en pratique ses résultats en compilation, typage statique et systèmes de modules. Il a également travaillé sur la sécurité du logiciel embarqué sur cartes à puces dans le contexte de la jeune pousse Trusted Logic. Ses recherches en cours portent sur la preuve formelle de compilateurs pour le logiciel critique.