Grand Prix Inria 2011 : Gérard Huet

• Les meilleurs chercheurs en informatique récompensés par Inria
• Grand Prix Inria 2011 : Gérard Huet
• Prix du jeune chercheur 2011 : Bruno Lévy
• Prix de l’innovation 2011 Inria-Dassault Systèmes : Stéphane Donikian
• Prix du soutien à la recherche et l'innovation 2011 : Julien Wintz
• Prix du service de support à la recherche Inria 2011

Tout programme informatique performant repose sur des bases informatiques solides », clame Gérard Huet, Grand Prix Inria 2011. Cet éminent scientifique, considéré par ses pairs comme un savant, figure parmi les pionniers de l’école française d’informatique. Il a mené pendant les trente premières années de sa carrière, des travaux déterminants pour garantir la fiabilité de logiciels qui exigent un très haut niveau de sécurité à l’image des applications intervenant dans le transport aérien. Il est à l’origine de langages informatiques très importants comme Caml, ou encore l’assistant de preuves Coq.

Depuis quelques années, Gérard Huet travaille sur la linguistique computationnelle, c'est-à-dire l’analyse des langages par l’informatique. Il a ainsi mis au point un système d’analyse du sanscrit. Membre de l’Académie des sciences, depuis 2002, Gérard Huet a également reçu en 2009 le prix EATCS (European Association for Theoretical Computer Science).