Inria
Inria.fr
Inria Channel
Il y a 2 Résultats avec le mot clé : "Hubert Garavel"
Hubert Garavel
-
© Inria / Photo A.Eidelman
Distinction
Hubert Garavel, lauréat prix Humboldt
Hubert Garavel, responsable de l'équipe-projet VASY, est le quatrième Français à recevoir le prix scientifique Gay-Lussac Humboldt dans le domaine de l’informatique. Avant lui, Alain Bensoussan, ancien président de l’Inria, avait reçu ce prix en 1983. A l’occasion de ce prix, Hubert Garavel est invité en Allemagne où il sera accueilli par le professeur Holger Hermanns, doyen de la faculté de mathématiques et informatique de l’université de la Sarre, avec lequel il collabore depuis 10 ans.
Mots-clés :
- Hubert Garavel
- Holger Hermanns
- Inria Grenoble - Rhône-Alpes
- Equipe VASY
- Fondation Humboldt
- Vérification
Accueil > Centre > Grenoble > Actualités > Hubert Garavel, lauréat prix Humboldt
Airbus A350.
-
© Airbus
Systèmes critiques
La fiabilité des systèmes devient un défi majeur
En 20 ans, les systèmes informatiques (ordinateurs, logiciels, réseaux) ont envahi notre vie courante et sont désormais au cœur d’applications de plus en plus vitales. Leur complexité technique augmente sans cesse, alors que leur contexte de production est de plus en plus tendu, réductions de coûts et de délais obligent. Quelles conséquences en termes de qualité, sûreté et sécurité ? Eviter les défaillances informatiques représente un enjeu d'avenir, majeur pour l’industrie, sur la base des progrès scientifiques de ces dernières décennies.
Mots-clés :
- Hubert Garavel
- Convecs
- INRIA Grenoble - Rhône-Alpes
- Systèmes critiques
- Logicels embarqués
- Logiciels
- Fiabilité
Accueil > Centre > Grenoble > Actualités > La fiabilité des systèmes devient un défi majeur
Centres de recherche Inria
