Херлихи, Морис

Морис Херлихи (англ. Maurice Herlihy; род. 4 января 1954, США) — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах[3][4][5]. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.

Морис Херлихи
Дата рождения	4 января 1954 (68 лет)
Место рождения	США
Страна	США
Место работы	Брауновский университет[1]
Альма-матер	Гарвардский университет МТИ[2]
Научный руководитель	Барбара Лисков
Ученики	Roger Wattenhofer^[d][2]
Награды и премии	премия Дейкстры (2012) Премия Гёделя (2004) Премия Уоллеса Макдауэлла (2013) Фелло ACM

Награды

• 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. (англ.)

Примечания

1. http://cs.brown.edu/~mph/
2. Математическая генеалогия (англ.) — 1997.
3. 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.
4. Wait-free synchronization. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
5. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
6. 2003 Edsger W. Dijkstra Prize in Distributed Computing. ACM Proceedings on Distributed Computing. Дата обращения: 27 июня 2012.
7. MAURICE HERLIHY: Wait-Free Synchronization
8. 2004 Gödel Prize
9. ACM: Fellows Award / Maurice P Herlihy. Association for Computing Machinery. Дата обращения: 20 августа 2011.
10. 2012 Edsger W. Dijkstra Prize in Distributed Computing
11. Maurice Herlihy, J. Eliot B. Moss: Transactional Memory: Architectural Support for Lock-Free Data Structures
12. W. Wallace McDowell Award | IEEE Computer Society
13. Maurice Herlihy | IEEE Computer Society
14. National Academy of Engineering. NAE. Дата обращения: 30 апреля 2014.
15. National Academy of Inventors Fellow. Brown University. Дата обращения: 30 апреля 2014.
16. American Academy of Arts and Sciences Member. Brown University. Дата обращения: 30 апреля 2014.

Ссылки

• cs.brown.edu/~mph/ — официальный сайт Морис Херлихи (англ.)
• Maurice Herlihy (англ.) в проекте «Математическая генеалогия» (англ.)