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 года.

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

Дата рождения	7 февраля 1941 ( 1941-02-07 ) (82 года)
Место рождения	Нью-Йорк , Нью-Йорк , США
Страна	США
Научная сфера	информатика и распределённые вычисления
Место работы	Digital Equipment Corporation Microsoft Research
Альма-матер	Массачусетский технологический институт Брандейский университет
Учёная степень	( 1963 ) и доктор философии ( 1972 )
Научный руководитель
Награды и премии	премия Дейкстры ( 2000 ) медаль Джона фон Неймана ( 2008 ) премия Тьюринга ( 2013 ) премия Эмануэля Пиора ( 2004 ) ( 2003 ) Фелло ACM ( 2014 ) премия Дейкстры ( 2005 ) премия Дейкстры ( 2014 ) ( 2003 ) почётный доктор ( 2006 ) почётный доктор ( 2007 ) ( 2004 )
Сайт