Jean-Michel MullerChercheur en informatique
Entre informatique et mathématiques, Jean-Michel Muller étudie la façon dont on représente les nombres sur les ordinateurs, et cherche à améliorer les méthodes de calcul informatique. Il a été l'un des inspirateurs de la révision majeure, en 2008, du standard international* pour la représentation des « nombres à virgules flottantes » en mode binaire, qui est le plus employé actuellement pour le calcul en informatique. Il a en particulier montré comment un certain type d'arrondi, l'arrondi « correct », pouvait être garanti lors du calcul de certaines fonctions mathématiques sur ordinateur, et comment cet arrondi permettait de concevoir des algorithmes numériques plus efficaces et plus précis, dont certains sont désormais déployés dans des applications quotidiennes. Ces travaux ont eu un impact très important sur la conception des circuits informatiques. Déjà récompensé par la médaille de bronze du CNRS en 1990, Jean-Michel Muller poursuit ses recherches qui donnent lieu à de multiples publications de très haut niveau.
* Norme IEEE 754.