Liens transverses ENS de Lyon

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

Ancien directeur (septembre 2001 - juin 2006) du Laboratoire de l'informatique du parallélisme (Lip).

 

 

 

(Crédit photo : ©Vanessa Cusimano)


Structures de recherche

L'ENS de Lyon accueille de nombreuses structures de recherche en sciences exactes, sciences humaines et sociales.

Découvrez tous les laboratoires

 

Zoom sur

Description

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 ArithmeticHandbook 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)