Херлихи, Морис
| Морис Херлихи |
|---|
Морис Херлихи (англ. Maurice Herlihy; род. 4 января 1954, США) — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах[1][2][3]. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.
Награды
- 2003 Премия Дейкстры[4] за работу «Wait-Free Synchronization»[5]
- 2004 Премия Гёделя[6] за работу «The Topological Structure of Asynchronous Computation»
- 2005 действительный член Ассоциации вычислительной техники[7]
- 2012 Премия Дейкстры[8] за работу «Transactional Memory: Architectural Support for Lock-Free Data Structures»[9]
- 2013 Премия Уоллеса Макдауэлла[10][11]
- 2013 Национальная инженерная академия США[12]
- 2014 действительный член Национальной академии изобретателей*[13]
- 2015 член Американской академии искусств и наук[14]
Книги
- 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. (англ.)
Примечания
- ↑ 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 (англ.) в проекте «Математическая генеалогия» (англ.)
| Лауреаты премии Гёделя | |
|---|---|
| 1990 |
|
| 2000 | |
| 2010 | |
