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.
Prix et distinctions
Membre senior de l’IEEE Computer society
Médaille d’argent du CNRS en 2013
Prix La Recherche 2013 pour l'équipe AriC
Prix du meilleur article, ASAP 2011
Prix du meilleur article, ASAP 2004
2e Prix Seymour Cray, France en 1991
Médaille de bronze du CNRS en 1990
Informations
Handbook of Floating-Point Arithmetic
Birkhäuser Boston, 2e édition, 2018
632 pages
ISBN 978-3-319-76525-9
ISBN 978-3-319-76526-6 (eBook)
Discipline(s)
Mots clés