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

Лесли Лэмпорт
Лесли Лэмпорт
	англ. Leslie Lamport
Дата рождения	7 февраля 1941 (84 года)
Место рождения	Нью-Йорк, Нью-Йорк, США;
Страна	США;
Род деятельности	математик, специалист в области информатики, программист, инженер, писатель
Научная сфера	информатика и распределённые вычисления
Место работы	MITRE Corporation[вд]; Digital Equipment Corporation; SRI International[вд]; Microsoft Research;
Альма-матер	Массачусетский технологический институт; Брандейский университет; Старшая школа (Бронкс) с углубленным изучением наук[вд];
Учёная степень	магистр наук[вд] (1963) и доктор философии (1972)
Научный руководитель	Ричард Палаис[вд]
Награды и премии	премия Дейкстры (2000) медаль Джона фон Неймана (2008) премия Тьюринга (2013) премия Эмануэля Пиора (2004) почётный доктор Университета Ренн I[вд] (2003) почётный доктор Федеральной политехнической школы Лозанны[вд] Фелло ACM (2014) премия Дейкстры (2005) премия Дейкстры (2014) почётный доктор Кильского университета[вд] (2003) почётный доктор Федеральной политехнической школы Лозанны[вд] (2004) почётный доктор[вд] (2007, 2006)
Сайт	lamport.org
	Цитаты в Викицитатнике
	Медиафайлы на Викискладе

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

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

Биография

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

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

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

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