Лесли Лэмпорт (; ) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Лауреат Премии Тьюринга 2013 года.
Член Национальной академии наук США (2011)Leslie B. Lamport , Национальной инженерной академии США (1991)Dr. Leslie B. Lamport .
Биография Родился в Бруклине в еврейской семье. Окончил школу в Бронксе (Bronx High School of Science), степень бакалавра по математике получил в Массачусетском технологическом институте в 1960 году. Степени магистра (1963) и доктора философии (1972) получил в Брандейском университете.
С 1970-х годов работал в Массачусетском технологическом институте, SRI International, DEC и Compaq, с 2001 года — сотрудник Microsoft Research.
Исследования Лэмпорта заложили основы теории распределённых систем. Среди самых его знаменитых работ можно назвать: "Time, Clocks, and the Ordering of Events in a Distributed System"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.. Эта работа получила награду 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.
См. также Временные метки Лампорта (Часы Лэмпорта, первый вариант Логических часов) Алгоритм Паксос Задача византийских генералов Подпись Лэмпорта
Примечания
Ссылки
Категория:Выпускники Средней школы естественных наук Бронкса Категория:Учёные в области информатики США Категория:Лауреаты премии Дейкстры Категория:Лауреаты премии Тьюринга Категория:Почётные доктора Кильского университета Категория:Почётные доктора Университета Лугано Категория:Сотрудники Microsoft Категория:Награждённые медалью Джона фон Неймана Категория:Лауреаты премии Эмануэля Пиора Категория:Члены Национальной инженерной академии США Категория:Члены Национальной академии наук США Категория:Авторы книг о компьютерах Категория:Выпускники Школы наук Массачусетского технологического института