Лэмпорт, Лесли
| Лесли Лэмпорт | |
|---|---|
| англ. Leslie Lamport | |
 | |
| Дата рождения | 7 февраля 1941[1] (84 года) |
| Место рождения | |
| Страна | |
| Род деятельности | математик, специалист в области информатики, программист, инженер, писатель |
| Научная сфера | информатика и распределённые вычисления |
| Место работы | |
| Альма-матер | |
| Учёная степень | магистр наук (1963) и доктор философии (1972) |
| Научный руководитель | Ричард Палаис |
| Награды и премии |
премия Дейкстры (2000) медаль Джона фон Неймана (2008) премия Тьюринга (2013) премия Эмануэля Пиора (2004) почётный доктор Университета Ренн I (2003) почётный доктор Федеральной политехнической школы Лозанны Фелло ACM (2014) премия Дейкстры (2005) премия Дейкстры (2014) почётный доктор Кильского университета (2003) почётный доктор Федеральной политехнической школы Лозанны (2004) почётный доктор (2007, 2006) |
| Сайт | lamport.org |
 Цитаты в Викицитатнике | |
 Медиафайлы на Викискладе | |
.svg.png){kind=small}
Лесли Лэмпорт (англ. Leslie Lamport; род. 7 февраля 1941, Нью-Йорк, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Лауреат Премии Тьюринга 2013 года.
Член Национальной академии наук США (2011)[2], Национальной инженерной академии США (1991)[3].
Биография
Родился в Бруклине в еврейской семье. Окончил школу в Бронксе (Bronx High School of Science), степень бакалавра по математике получил в Массачусетском технологическом институте в 1960 году. Степени магистра (1963) и доктора философии (1972) получил в Брандейском университете[4].
С 1970-х годов работал в Массачусетском технологическом институте, SRI International, DEC и Compaq, с 2001 года — сотрудник Microsoft Research.
Исследования Лэмпорта заложили основы теории распределённых систем. Среди самых его знаменитых работ можно назвать:
- "Time, Clocks, and the Ordering of Events in a Distributed System"[5]. Эта работа получила награду 2000 PODC Influential Paper Award в 2000 г., а в 2007 г. - ACM SIGOPS Hall of Fame Award.
- "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"[6], давшая определение последовательной консистентности,
- "The Byzantine Generals' Problem"[7],
- "Distributed Snapshots: Determining Global States of a Distributed System"[8] и
- "The Part-Time Parliament"[9].
Премии и награды
- Почётные докторские степени: Университет Ренн I (Франция, 2003), Университет имени Христиана Альбрехта (Германия, 2003), Федеральная политехническая школа Лозанны (Швейцария, 2004), Университет Лугано (Швейцария, 2006).
- 2000 — Премия Дейкстры
- 2004 — Премия Эмануэля Пиора IEEE за вклад в развитие теории и практики параллельного программирования и отказоустойчивых вычислений[10].
- 2005 — Премия Дейкстры за работу Reaching Agreement in the Presence of Faults[11].
- 2008 — Медаль Джона фон Неймана IEEE за фундаментальный вклад в теорию распределённых и параллельных вычислений.
- 2013 — Премия Тьюринга за фундаментальный вклад в теорию распределённых систем[10].
- 2014 — Премия Дейкстры.
- 2019 — C&C Prize.
См. также
- Временные метки Лампорта (Часы Лэмпорта, первый вариант Логических часов)
- Алгоритм Паксос
- Задача византийских генералов
- Подпись Лэмпорта
Примечания
- ↑ Leslie Lamport // Encyclopædia Britannica (англ.)
- ↑ Leslie B. Lamport Архивная копия от 6 января 2019 на Wayback Machine (англ.)
- ↑ Dr. Leslie B. Lamport Архивная копия от 6 января 2019 на Wayback Machine (англ.)
- ↑ The Writings of Leslie Lamport. Дата обращения: 14 октября 2010. Архивировано 5 августа 2011 года.
- ↑ Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.
- ↑ Lamport, Leslie. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program (англ.) // IEEE Trans. Comput. : journal. — 1979. — Vol. 28, no. 9. — P. 690—691. — ISSN 0018-9340. — doi:10.1109/TC.1979.1675439. Архивировано 5 августа 2011 года.
- ↑ Lamport, Leslie; Robert Shostak; Marshall Pease. The Byzantine Generals Problem (англ.) // ACM Transactions on Programming Languages and Systems : journal. — 1982. — July (vol. 4, no. 3). — P. 382—401. — doi:10.1145/357172.357176. Архивировано 16 августа 2007 года.
- ↑ Chandy, K. Mani; Leslie Lamport. Distributed Snapshots: Determining Global States of a Distributed System (англ.) // ACM Transactions on Computer Systems : journal. — 1985. — February (vol. 3, no. 1). — P. 63—75. — doi:10.1145/214451.214456. Архивировано 16 августа 2007 года.
- ↑ Lamport, Leslie. The Part-Time Parliament (неопр.) // ACM Transactions on Computer Systems. — 1998. — May (т. 16, № 2). — С. 133—169. — doi:10.1145/279227.279229. Архивировано 16 августа 2007 года.
- 1 2 Премия Тьюринга 2013.
- ↑ Pease, Marshall; Robert Shostak, Leslie Lamport. Reaching Agreement in the Presence of Faults (англ.) // Journal of the Association for Computing Machinery : journal. — 1980. — April (vol. 27, no. 2). Архивировано 16 августа 2007 года.
Ссылки
- lamport.org — официальный сайт Лесли Лэмпорта
- ACM. Turing award 2013 (18 марта 2014).
 | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||