Aller au menu Aller au contenu
Chercher, innover, créer
Informatique et Mathématiques appliquées
Chercher, innover, créer

> Recherche

Hubert Gavarel remporte le prix scientifique Gay Lussac-Humbolt

Publié le 16 mai 2011
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

Hubert Garavel, diplômé de Grenoble INP - Ensimag promo 1986, directeur de recherche à l’INRIA et chercheur au LIG, vient de recevoir le prix scientifique Gay Lussac-Humboldt.

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.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

mise à jour le 16 mai 2011

anglais
Grenoble INP - Ensimag
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES
 
 
République Française         Groupe INP Logo de la Commission des titres d'ingénieur (CTI)
    Université Grenoble Alpes