Grand Prix Inria 2011 : Gérard Huet

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).