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

Морис Херлихи
Морис Херлихи
Дата рождения	4 января 1954 (71 год)
Место рождения	США;
Страна	США;
Род деятельности	специалист в области информатики, инженер, преподаватель университета
Место работы	Брауновский университет;
Альма-матер	Гарвардский университет; Массачусетский технологический институт;
Научный руководитель	Барбара Лисков
Ученики	Роджер Ваттенхофер
Награды и премии	премия Дейкстры (2012) Премия Гёделя (2004) премия Уоллеса Макдауэлла (2013) Фелло ACM (2005)

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

Награды

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 (англ.) в проекте «Математическая генеалогия» (англ.)

[_138f13bd1eb0de43-1] ttp://cs.brown.edu/~mph/

[_5cc1d26d275e543b-2] 1 2 Mathematics Genealogy Project (англ.) — 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. Архивировано 29 марта 2019 года.

[4] Wait-free synchronization (неопр.). ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013. Архивировано 15 декабря 2019 года.

[5] Linearizability: a correctness condition for concurrent objects (неопр.). ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013. Архивировано 2 января 2018 года.

[dijkstra-6] 2003 Edsger W. Dijkstra Prize in Distributed Computing (неопр.). ACM Proceedings on Distributed Computing. Дата обращения: 27 июня 2012. Архивировано 30 марта 2019 года.

[7] MAURICE HERLIHY: Wait-Free Synchronization (неопр.). Дата обращения: 30 марта 2019. Архивировано 4 февраля 2019 года.

[8] 2004 Gödel Prize (неопр.). Дата обращения: 2 июля 2019. Архивировано 4 ноября 2021 года.

[9] ACM: Fellows Award / Maurice P Herlihy (неопр.). Association for Computing Machinery. Дата обращения: 20 августа 2011. Архивировано 25 мая 2012 года.

[10] 2012 Edsger W. Dijkstra Prize in Distributed Computing (неопр.). Дата обращения: 30 марта 2019. Архивировано 30 марта 2019 года.

[11] Maurice Herlihy, J. Eliot B. Moss: Transactional Memory: Architectural Support for Lock-Free Data Structures (неопр.). Дата обращения: 30 марта 2019. Архивировано 13 августа 2017 года.

[12] W. Wallace McDowell Award | IEEE Computer Society (неопр.). Дата обращения: 30 июня 2019. Архивировано 13 июня 2019 года.

[13] Maurice Herlihy | IEEE Computer Society (неопр.). Дата обращения: 30 июня 2019. Архивировано 23 мая 2019 года.

[14] National Academy of Engineering (неопр.). NAE. Дата обращения: 30 апреля 2014. Архивировано 29 марта 2019 года.

[15] National Academy of Inventors Fellow (неопр.). Brown University. Дата обращения: 30 апреля 2014. Архивировано 29 марта 2019 года.

[16] American Academy of Arts and Sciences Member (неопр.). Brown University. Дата обращения: 30 апреля 2014. Архивировано 29 марта 2019 года.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

Лауреаты премии Гёделя
1990-е	1993 Бабаи Гольдвассер Микали Моран Ракофф 1994 Хостад 1995 Иммерман Шелепченьи 1996 Джеррам Синклер 1997 Хэлперн Мозес 1998 Сэйносукэ 1999 Шор
2000-е	2000 Варди Вольпер 2001 Арора Фейге Гольдвассер Лунд Ловас Мотвани Сафра Судан Сегеди 2002 Сенизерг 2003 Фройнд Шапире 2004 Херлихи Сакс Шавит Захароглу 2005 Алон Матиас Сегеди 2006 Агравал Кайал Саксена 2007 Разборов Рудич 2008 Шанхуа Спилмен 2009 Рейнгольд Вадхан Вигдерзон
2010-е	2010 Арора Митчелл 2011 Хостад 2012 Куцупиас Пападимитриу Роухгарден Тардош Нисан Ронен 2013 Жу Боне Франклин 2014 Фэгин Лотем Наор 2015 Спилмен Шанхуа 2016 Брукс О'Хёрн 2017 Дворк Макшерри Ниссим Смит 2018 Регев 2019 Динур
2020-е	2020 Мозер Тардос 2021 Булатов Цай Чэнь Дайер Ричерби 2022 Бракерски Джентри Вайкунтанатан 2023 Фиорини Массар Покутта Тивари Вольф Ротвосс 2024 Уильямс

Морис Херлихи
Дата рождения	4 января 1954(1954-01-04) (71 год)
Место рождения	США
Страна	США
Род деятельности	специалист в области информатики, инженер, преподаватель университета
Место работы	Брауновский университет^[1]
Альма-матер	Гарвардский университет Массачусетский технологический институт^[2]
Научный руководитель	Барбара Лисков
Ученики	Роджер Ваттенхофер^[2]
Награды и премии	премия Дейкстры (2012) Премия Гёделя (2004) премия Уоллеса Макдауэлла (2013) Фелло ACM (2005)