Херлихи, Морис
Морис Херлихи (англ. Maurice Herlihy; род. 4 января 1954, США) — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах[3][4][5]. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.
| Морис Херлихи | |
|---|---|
| Дата рождения | 4 января 1954 (70 лет) |
| Место рождения | |
| Страна | |
| Род деятельности | специалист в области информатики, инженер, преподаватель университета |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Барбара Лисков |
| Ученики | Роджер Ваттенхофер[вд][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/
- ↑ 1 2 Mathematics Genealogy Project (англ.) — 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. Архивировано 29 марта 2019 года.
- ↑ Wait-free synchronization. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013. Архивировано 15 декабря 2019 года.
- ↑ Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013. Архивировано 2 января 2018 года.
- ↑ 2003 Edsger W. Dijkstra Prize in Distributed Computing. ACM Proceedings on Distributed Computing. Дата обращения: 27 июня 2012. Архивировано 30 марта 2019 года.
- ↑ MAURICE HERLIHY: Wait-Free Synchronization. Дата обращения: 30 марта 2019. Архивировано 4 февраля 2019 года.
- ↑ 2004 Gödel Prize. Дата обращения: 2 июля 2019. Архивировано 4 ноября 2021 года.
- ↑ ACM: Fellows Award / Maurice P Herlihy. Association for Computing Machinery. Дата обращения: 20 августа 2011. Архивировано 25 мая 2012 года.
- ↑ 2012 Edsger W. Dijkstra Prize in Distributed Computing. Дата обращения: 30 марта 2019. Архивировано 30 марта 2019 года.
- ↑ Maurice Herlihy, J. Eliot B. Moss: Transactional Memory: Architectural Support for Lock-Free Data Structures. Дата обращения: 30 марта 2019. Архивировано 13 августа 2017 года.
- ↑ W. Wallace McDowell Award | IEEE Computer Society. Дата обращения: 30 июня 2019. Архивировано 13 июня 2019 года.
- ↑ Maurice Herlihy | IEEE Computer Society. Дата обращения: 30 июня 2019. Архивировано 23 мая 2019 года.
- ↑ National Academy of Engineering. NAE. Дата обращения: 30 апреля 2014. Архивировано 29 марта 2019 года.
- ↑ National Academy of Inventors Fellow. Brown University. Дата обращения: 30 апреля 2014. Архивировано 29 марта 2019 года.
- ↑ American Academy of Arts and Sciences Member. Brown University. Дата обращения: 30 апреля 2014. Архивировано 29 марта 2019 года.
Ссылки
править- cs.brown.edu/~mph/ — официальный сайт Морис Херлихи (англ.)
- Maurice Herlihy (англ.) в проекте «Математическая генеалогия» (англ.)