Maurice Peter Herlihy, né le , est un informaticien américain. Il travaille sur les aspects théoriques et pratiques des systèmes concurrents et distribués.
Parcours professionnel Maurice Herlihy étudie les mathématiques à l'université Harvard et obtient un B. Sc. en 1975, puis l'informatique au Massachusetts Institute of Technology avec un M. Sc. en 1980 et un Ph. D. en 1984, sous la direction de Barbara Liskov, avec une thèse intitulée .. Pendant l'été 1982, il est chercheur au Palo Alto Research Center. De 1984 à 1989 il est professeur assistant à l'université Carnegie-Mellon et de 1989 à 1994 il travaille au Cambridge Research Laboratory de DEC. En 1994 il devient professeur associé, et en 1998 professeur à l'université Brown. Il passe une année sabbatique (2004-2005) chez Microsoft Research, et une autre (2010-2011) au Technion.
Recherche Herlihy a joué un rôle important dans le développement des multiprocesseurs par la notion de mémoire transactionnelle logicielle qu'il a inventée avec et qui a été appliquée dans des processeurs chez Intel et IBM.
Il a fait des contributions sur la synchronisation sans d'attente . Il introduit, avec Jeannette Wing, la notion de linéarisabilité pour des structures de données concurrentes et définit, avec Nir Shavit et James Aspnes, le concept de . Avec Shavit, il introduit aussi l'usage de méthodes topologiques pour le traitement d'algorithmes distribués.
Prix et distinctions
2003 Prix Dijkstra pour la ..
2004 Prix Gödel pour The topological structure of asynchronous computation avec Nir Shavit., prix attribué cette même année aussi à Michael Saks et Fotios Zaharoglou. 2005 : Fellow de l'Association for Computing Machinery..
2008 ISCA Influential Paper Prize avec J.E.B. Moss, pour leur article Transactional Memory architectural support for lock-free data structures paru dans le International Symposium on Computer Architecture, en 1993ISCA Influential Paper Prize sur le site du SIGARCH de l'ACM.Remise du prix ISCA Influential Paper sur le site de l'université Brown..
2012 Prix Dijkstra pour Transactional Memory: architectural support for lock-free data structures avec J. Eliot B. Moss..
2013 pour Laudatio McDowell Award.. 2013 : Membre de la National Academy of Engineering., « pour les techniques de linéarisabilité, structures de données non bloquantes, et mémoire transactionnelle dans le calcul concurrent ». 2014 : Fellow de la .. 2015 : Membre de l'Académie américaine des arts et des sciences..
Livres et chapitres . . .
Maurice Herlihy est ou a été éditeur de plusieurs revues scientifiques, dont Journal of the ACM (1998-2010), SIAM Journal of Computing (1994-2000), éditeur associé ACM Transactions on Computer Systems (1993-2010). Il est détenteur de nombreux brevets 27 sont listés dans son CV.
Notes et références
Liens externes
Page personnelle
Catégorie:Informaticien américain Catégorie:Professeur à l'université Brown Catégorie:Membre de l'Académie américaine des arts et des sciences Catégorie:Lauréat du prix Gödel Catégorie:Lauréat du prix Dijkstra Catégorie:Naissance en janvier 1954