Лесли Лэмпорт (англ. Leslie Lamport; род. 7 февраля 1941, Нью-Йорк, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Лауреат Премии Тьюринга 2013 года.
| Лесли Лэмпорт | |
|---|---|
| англ. Leslie Lamport | |
 | |
| Дата рождения | 7 февраля 1941[1] (83 года) |
| Место рождения | |
| Страна | |
| Род деятельности | математик, специалист в области информатики, программист, инженер, писатель |
| Научная сфера | информатика и распределённые вычисления |
| Место работы | |
| Альма-матер | |
| Учёная степень | магистр естественных наук[вд] (1963) и доктор философии (1972) |
| Научный руководитель | Ричард Палаис[вд] |
| Награды и премии |
премия Дейкстры (2000) медаль Джона фон Неймана (2008) премия Тьюринга (2013) премия Эмануэля Пиора (2004) почётный доктор Университета Ренн I[вд] (2003) почётный доктор Федеральной политехнической школы Лозанны[вд] Фелло ACM (2014) премия Дейкстры (2005) премия Дейкстры (2014) почётный доктор Кильского университета[вд] (2003) почётный доктор Федеральной политехнической школы Лозанны[вд] (2004) почётный доктор[вд] (2007, 2006) |
| Сайт | lamport.org |
 Цитаты в Викицитатнике | |
 Медиафайлы на Викискладе | |
Член Национальной академии наук США (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).