Rival, Xavier (19..-....)
France
Date de naissance
19XX
Langues d'expression
français
anglais
Informaticien. Directeur de recherche INRIA, responsable de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI ENS, UMR 8548), École normale supérieure, Paris (en 2023)
Vidéos
Preuve automatique de la sûreté de logiciels critiques
Rival
Xavier
Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En