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

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

Член Национальной академии наук США (2011) , Национальной инженерной академии США (1991) .

Биография

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

С 1970-х годов работал в Массачусетском технологическом институте , , DEC и Compaq , с 2001 года — сотрудник Microsoft Research .

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

  • "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" .

Премии и награды

См. также

Примечания

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

Ссылки

  • — официальный сайт Лесли Лэмпорта
  • ACM. (18 марта 2014).
Источник —

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