Jean-Michel Muller : fiabiliser les calculs sur ordinateur
Distinction
Numérique
L'exactitude d'un calcul numérique peut être affectée par la manière dont les nombres et les fonctions mathématiques sont représentés sur un ordinateur. Jean-Michel Muller, directeur de recherche CNRS au Laboratoire de l'informatique du parallélisme, est à l'origine de nombreuses innovations qui ont permis de fiabiliser l'arithmétique sur ordinateur. Pour l'ensemble de ses travaux, il a reçu le Grand Prix Inria-Académie des Sciences 2025.