Лэмпорт, Лесли

Лесли Лэмпорт
Лесли Лэмпорт
	англ. Leslie Lamport
Дата рождения	7 февраля 1941(1941-02-07) (82 года)
Место рождения	Нью-Йорк, Нью-Йорк, США;
Страна	США;
Научная сфера	информатика и распределённые вычисления
Место работы	MITRE Corporation[d]; Digital Equipment Corporation; SRI International[d]; Microsoft Research;
Альма-матер	МТИ; Брандейский университет; Старшая школа (Бронкс) с углубленным изучением наук[d];
Учёная степень	магистр естественных наук[d] (1963) и доктор философии (1972)
Научный руководитель	Ричард Палаис[d]
Награды и премии	премия Дейкстры (2000) медаль Джона фон Неймана (2008) премия Тьюринга (2013) премия Эмануэля Пиора (2004) почётный доктор Университета Ренн I[d] (2003) почётный доктор Федеральной политехнической школы Лозанны[d] Фелло ACM (2014) премия Дейкстры (2005) премия Дейкстры (2014) почётный доктор Кильского университета[d] (2003) почётный доктор[d] (2006) почётный доктор[d] (2007) почётный доктор Федеральной политехнической школы Лозанны[d] (2004)
Сайт	lamport.org
	Цитаты в Викицитатнике
	Медиафайлы на Викискладе

Лесли Лэмпорт (англ. 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.
↑ 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.
↑ 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.
↑ Lamport, Leslie. The Part-Time Parliament (неопр.) // ACM Transactions on Computer Systems (англ.) (рус.. — 1998. — May (т. 16, № 2). — С. 133—169. — doi:10.1145/279227.279229.
↑ ¹ ² Премия Тьюринга 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).

СсылкиПравить

lamport.org — официальный сайт Лесли Лэмпорта
ACM. Turing award 2013 (неопр.) (18 марта 2014).

[_22707a8427409a70-1] Leslie Lamport // Encyclopædia Britannica (англ.)

[NAS-2] Leslie B. Lamport Архивная копия от 6 января 2019 на Wayback Machine (англ.)

[NAE-3] Dr. Leslie B. Lamport Архивная копия от 6 января 2019 на Wayback Machine (англ.)

[4] The Writings of Leslie Lamport (неопр.). Дата обращения: 14 октября 2010. Архивировано 5 августа 2011 года.

[5] 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.

[6] 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.

[7] 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.

[8] 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.

[9] Lamport, Leslie. The Part-Time Parliament (неопр.) // ACM Transactions on Computer Systems (англ.) (рус.. — 1998. — May (т. 16, № 2). — С. 133—169. — doi:10.1145/279227.279229.

[_889229475db0e43d-10] ¹ ² Премия Тьюринга 2013.

[11] 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).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Лесли Лэмпорт
англ. Leslie Lamport

Дата рождения	7 февраля 1941(1941-02-07)^[1] (82 года)
Место рождения	Нью-Йорк, Нью-Йорк, США
Страна	США
Научная сфера	информатика и распределённые вычисления
Место работы	MITRE Corporation^[d] Digital Equipment Corporation SRI International^[d] Microsoft Research
Альма-матер	МТИ Брандейский университет Старшая школа (Бронкс) с углубленным изучением наук^[d]
Учёная степень	магистр естественных наук^[d] (1963) и доктор философии (1972)
Научный руководитель	Ричард Палаис^[d]
Награды и премии	премия Дейкстры (2000) медаль Джона фон Неймана (2008) премия Тьюринга (2013) премия Эмануэля Пиора (2004) почётный доктор Университета Ренн I^[d] (2003) почётный доктор Федеральной политехнической школы Лозанны^[d] Фелло ACM (2014) премия Дейкстры (2005) премия Дейкстры (2014) почётный доктор Кильского университета^[d] (2003) почётный доктор^[d] (2006) почётный доктор^[d] (2007) почётный доктор Федеральной политехнической школы Лозанны^[d] (2004)
Сайт	lamport.org
Цитаты в Викицитатнике
Медиафайлы на Викискладе