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

Лесли Лэмпорт ( англ. Leslie Lamport ; род. 7 февраля 1941 , Нью-Йорк , Нью-Йорк ) — американский учёный в области информатики, первый лауреат премии Дейкстры . Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX , исследователь теории распределённых систем , темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Лауреат Премии Тьюринга 2013 года.

Биография

Родился в Бруклине в еврейской семье. Окончил школу в Бронксе ( Bronx High School of Science ), степень бакалавра по математике получил в Массачусетском технологическом институте в 1960 году. Степени магистра (1963) и доктора философии (1972) получил в Брандейском университете .

Исследования Лэмпорта заложили основы теории распределённых систем . Среди самых его знаменитых работ можно назвать:

"Time, Clocks, and the Ordering of Events in a Distributed System" . Эта работа получила награду 2000 PODC Influential Paper Award в 2000 г., а в 2007 г. - ACM SIGOPS Hall of Fame Award.
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" , давшая определение последовательной консистентности ,
"The Byzantine Generals' Problem" ,
"Distributed Snapshots: Determining Global States of a Distributed System" и
"The Part-Time Parliament" .

Почётные докторские степени: Университет Ренн I (Франция, 2003), Университет имени Христиана Альбрехта (Германия, 2003), Федеральная политехническая школа Лозанны (Швейцария, 2004), Университет Лугано (Швейцария, 2006).
2000 — Премия Дейкстры
2004 — Премия Эмануэля Пиора IEEE за вклад в развитие теории и практики параллельного программирования и отказоустойчивых вычислений .
2005 — Премия Дейкстры за работу Reaching Agreement in the Presence of Faults .
2008 — Медаль Джона фон Неймана IEEE за фундаментальный вклад в теорию распределённых и параллельных вычислений.
2013 — Премия Тьюринга за фундаментальный вклад в теорию распределённых систем .
2014 — Премия Дейкстры .
2019 — C&C Prize .

Leslie Lamport // (англ.)
от 6 января 2019 на Wayback Machine (англ.)
от 6 января 2019 на Wayback Machine (англ.)
. Дата обращения: 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. (англ.) // (англ.) ( : journal. — 1979. — Vol. 28 , no. 9 . — P. 690—691 . — ISSN . — doi : . 5 августа 2011 года.
Lamport, Leslie; Robert Shostak; Marshall Pease. (англ.) // (англ.) ( : journal. — 1982. — July ( vol. 4 , no. 3 ). — P. 382—401 . — doi : . 16 августа 2007 года.
Chandy, K. Mani; Leslie Lamport. (англ.) // (англ.) ( : journal. — 1985. — February ( vol. 3 , no. 1 ). — P. 63—75 . — doi : . 16 августа 2007 года.
Lamport, Leslie. (неопр.) // (англ.) ( . — 1998. — May ( т. 16 , № 2 ). — С. 133—169 . — doi : . 16 августа 2007 года.
↑ .
Pease, Marshall; Robert Shostak, Leslie Lamport. (англ.) // Journal of the Association for Computing Machinery : journal. — 1980. — April ( vol. 27 , no. 2 ). 16 августа 2007 года.