Лэмпорт, Лесли
Лесли Лэмпорт (англ. Leslie Lamport; род. 7 февраля 1941, Нью-Йорк, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах.
Общие сведения
| Лесли Лэмпорт | |
|---|---|
| англ. Leslie Lamport | |
| Дата рождения | 7 февраля 1941[1] (85 лет) |
| Место рождения | |
| Страна | |
| Научная сфера | информатика и Распределённые вычисления |
| Место работы | |
| Образование | |
| Учёная степень | магистр естественных наук[d] (1963) и доктор философии (1972) |
| Научный руководитель | Ричард Палаис[d] |
| Награды и премии |
премия Дейкстры (2000) медаль Джона фон Неймана (2008) премия Тьюринга (2013) премия Эмануэля Пиора (2004) почётный доктор Университета Ренн I[d] (2003) почётный доктор Федеральной политехнической школы Лозанны[d] член Ассоциации вычислительной техники (2014) премия Дейкстры (2005) премия Дейкстры (2014) почётный доктор Кильского университета[d] (2003) почётный доктор[d] (2006) почётный доктор[d] (2007) почётный доктор Федеральной политехнической школы Лозанны[d] (2004) |
| Сайт | lamport.org |
Биография
Окончил школу в Бронксе (Bronx High School of Science). Степень бакалавра по математике получил в Массачусетском технологическом институте в 1960 году. Степени магистра (1963) и доктора философии (1972) получил в Брандейском университете[2].
В 1960-х преподавал в колледже Мальборо.
С 1970-х годов работал в Массачусетском технологическом институте, SRI International (1977—1985), DEC и Compaq (1985—2001)[3].
С 1991 года является членом Национальной инженерной академии США (1991)[4]. В 2011 году стал членом Национальной академии наук США[5].
С 2001 года — сотрудник Microsoft Research, откуда вышел на пенсию 3 января 2025 года[6].
Научный вклад
Исследования Лэмпорта заложили основы теории распределённых систем. Среди самых его знаменитых работ можно назвать:
- «Time, Clocks, and the Ordering of Events in a Distributed System»[7]. Эта работа получила награду 2000 PODC Influential Paper Award в 2000 г., а в 2007 г. — ACM SIGOPS Hall of Fame Award;
- «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs»[8], давшая определение последовательной консистентности;
- «The Byzantine Generals' Problem»[9];
- «Distributed Snapshots: Determining Global States of a Distributed System»[10];
- «The Part-Time Parliament»[11].
Лэмпорт является разработчиком языка спецификаций TLA+. В 2002 году он издал книгу Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers[12].
После ухода Лэмпорта из Microsoft управление языком было передано в TLA+ Foundation (проект Linux Foundation), он вошёл в управляющий совет[6][13].
В 2026 году была издана его книга A Science of Concurrent Programs (ISBN 9781009719858)[14].
Премии и награды
- Почётные докторские степени: Университет Ренн I (Франция, 2003), Университет имени Христиана Альбрехта (Германия, 2003), Федеральная политехническая школа Лозанны (Швейцария, 2004), Университет Лугано (Швейцария, 2006), Университет Нанси (Франция, 2007), Брандейский университет (США, 2017)[15];
- 2000 — Премия Дейкстры;
- 2004 — Премия Эмануэля Пиора IEEE за вклад в развитие теории и практики параллельного программирования и отказоустойчивых вычислений[16];
- 2005 — Премия Дейкстры за работу Reaching Agreement in the Presence of Faults[17];
- 2008 — Медаль Джона фон Неймана IEEE за фундаментальный вклад в теорию распределённых и параллельных вычислений;
- 2013 — Премия Тьюринга за фундаментальный вклад в теорию распределённых систем[16];
- 2014 — Премия Дейкстры;
- 2019 — C&C Prize.
Примечания
Ссылки
- lamport.org — официальный сайт Лесли Лэмпорта
- ACM. Turing award 2013 (18 марта 2014).
 | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||
Лауреаты премии Тьюринга | |
|---|---|
| |
