Jean-Michel Muller, spécialiste de l’arithmétique des ordinateurs, Lip

Biographie

Né en 1961, Jean-Michel Muller est diplômé de l’ENSIMAG. Il soutient en 1985 une thèse à l’Institut National Polytechnique de Grenoble – Méthodologies de calcul des fonctions élémentaires – sous la direction de Michel Cosnard. Il est actuellement directeur de recherche CNRS au Laboratoire de l'informatique du parallélisme (Lip) qu’il a dirigé de septembre 2001 à juin 2006.

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.