Maurice Herlihy

Maurice Peter Herlihy (* 4. Januar 1954) ist ein US-amerikanischer Informatiker.

Leben

Herlihy studierte Mathematik an der Harvard University mit dem Bachelor-Abschluss 1975 und Informatik am Massachusetts Institute of Technology mit dem Master-Abschluss 1980 und der Promotion 1984. Im Sommer 1982 forschte er am Forschungszentrum Xerox PARC. 1984 bis 1989 war er Assistant Professor an der Carnegie Mellon University und 1989 bis 1994 am Cambridge Research Laboratory von DEC. 1994 wurde er Associate Professor und 1998 Professor an der Brown University. 2004 und 2005 forschte er bei Microsoft Research und von 2010 bis 2011 war er am Technion.

Herlihy leistete wichtige Beiträge zu Multiprozessorsystemen (zum Beispiel transaktionaler Speicher, das er mit Eliot Moss einführte und das in fortgeschrittenen Prozessoren bei Intel und IBM Anwendung fand).

Er leistete fundamentale Beiträge zu Synchronisation ohne Wartezeit (Wait-free Synchronization), führte das Konzept der Linearisierbarkeit (englisch linearizability) bei nebenläufigen Datenstrukturen ein (mit Jeannette Wing) und führte Counting Networks mit Nir Shavit und James Aspnes ein. Mit Shavit führte er auch topologische Methoden in der Behandlung verteilter Algorithmen ein.

Preise

Er ist Fellow der Association for Computing Machinery. 2015 wurde er in die American Academy of Arts and Sciences gewählt.

Schriften

  • mit Nir Shavit: The art of multiprocessor programming, Morgan Kaufmann 2008, 2012
  • mit Dmitry Kozlov und Sergio Rajsbaum: Distributed Computing Through Combinatorial Topology, Morgan Kaufmann 2014

Einzelnachweise

  1. ACM Trans. Progr. Lang. Syst., 13, 1991, 124–149
  2. Journal of the ACM, 46, 1999, 858–923
  3. SIAM J. on Computing, 29, 2000, 1449–1483
  4. Proc. 1993 Int. Symp. Computer Architecture, San Diego
  5. Laudatio McDowell Award (Memento des Originals vom 27. März 2013 im Internet Archive)  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/www.computer.org
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.