Херлихи, Морис
Морис Херлихи (англ. Maurice Herlihy; род. 4 января 1954, США) — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах[3][4][5]. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.
| Морис Херлихи | |
|---|---|
| Дата рождения | 4 января 1954 (68 лет) |
| Место рождения | |
| Страна | |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Барбара Лисков |
| Ученики | Roger Wattenhofer[d][2] |
| Награды и премии | |
Награды
- 2003 Премия Дейкстры[6] за работу «Wait-Free Synchronization»[7]
- 2004 Премия Гёделя[8] за работу «The Topological Structure of Asynchronous Computation»
- 2005 действительный член Ассоциации вычислительной техники[9]
- 2012 Премия Дейкстры[10] за работу «Transactional Memory: Architectural Support for Lock-Free Data Structures»[11]
- 2013 Премия Уоллеса Макдауэлла[12][13]
- 2013 Национальная инженерная академия США[14]
- 2014 действительный член Национальной академии изобретателей[15]
- 2015 член Американской академии искусств и наук[16]
Книги
- Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum. Distributed Computing Through Combinatorial Topology. — Morgan Kaufmann, 2013. — 336 p. — ISBN 0124045782. (англ.)
- Maurice Herlihy, Nir Shavit. The Art of Multiprocessor Programming. — Morgan Kaufmann, 2011. — 528 p. — ISBN 7111247353. (англ.)
- Maurice Herlihy, Nir Shavit. The Art of Multiprocessor Programming, Revised Reprint. — Morgan Kaufmann, 2012. — 536 p. — ISBN 0123973376. (англ.)
Примечания
- http://cs.brown.edu/~mph/
- Математическая генеалогия (англ.) — 1997.
- Transactional memory: architectural support for lock-free data structures. ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer architecture (ISCA '93). Дата обращения: 27 июня 2013.
- Wait-free synchronization. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
- Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
- 2003 Edsger W. Dijkstra Prize in Distributed Computing. ACM Proceedings on Distributed Computing. Дата обращения: 27 июня 2012.
- MAURICE HERLIHY: Wait-Free Synchronization
- 2004 Gödel Prize
- ACM: Fellows Award / Maurice P Herlihy. Association for Computing Machinery. Дата обращения: 20 августа 2011.
- 2012 Edsger W. Dijkstra Prize in Distributed Computing
- Maurice Herlihy, J. Eliot B. Moss: Transactional Memory: Architectural Support for Lock-Free Data Structures
- W. Wallace McDowell Award | IEEE Computer Society
- Maurice Herlihy | IEEE Computer Society
- National Academy of Engineering. NAE. Дата обращения: 30 апреля 2014.
- National Academy of Inventors Fellow. Brown University. Дата обращения: 30 апреля 2014.
- American Academy of Arts and Sciences Member. Brown University. Дата обращения: 30 апреля 2014.
Ссылки
- cs.brown.edu/~mph/ — официальный сайт Морис Херлихи (англ.)
- Maurice Herlihy (англ.) в проекте «Математическая генеалогия» (англ.)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.