Hubert Gavarel remporte le prix scientifique Gay Lussac-Humbolt

Ce prix franco-allemand, décerné par la fondation Alexander von Humboldt, récompense chaque année depuis 1983 cinq scientifiques de très haut niveau de l'une et l'autre nationalité ayant contribué par l'excellence de leurs travaux au renforcement de la coopération scientifique franco-allemande. Hubert Garavel est le 4e français à recevoir cette prestigieuse distinction dans le domaine de l'informatique.

Hubert Garavel, Ingénieur Grenoble INP - Ensimag et docteur de l'Université Joseph Fourier est entré à l'INRIA en 1993. Il est actuellement le responsable de l'équipe-projet VASY, commune à INRIA Rhône-Alpes et au Laboratoire d'Informatique de Grenoble, dont les thèmes de recherche portent sur le développement de méthodes formelles appliquées à la sûreté des systèmes critiques.

Dans son travail de recherche Hubert Garavel s'attache tout à la fois aux aspects théoriques et pratiques de la vérification, en restant constamment attentif à l'applicabilité des méthodes formelles.
Hubert Garavel est ainsi l'un des concepteurs de la boîte à outils logicielle CADP "Construction and Analysis of Distributed Processes", utilisée dans de nombreuses universités pour enseigner les concepts théoriques du parallélisme ainsi que par plusieurs grands industriels pour concevoir des protocoles de communication et des systèmes distribués.