Лесли Лэмпорт | |
---|---|
Родился | Лесли Б. Лэмпорт. (1941 -02-07) 7 февраля 1941 г. (79 лет). Нью-Йорк, Нью-Йорк |
Alma mater |
|
Известен для | |
Награды |
|
Научная карьера | |
Области | Информатика |
Учреждения | |
Диссертация | аналитическая задача Коши с единичными данными (1972) |
Докторант | Ричард Пале |
Веб-сайт | lamport.org |
Лесли Б. Лэмпорт (родился 7 февраля 1941 г.) американский ученый-компьютерщик. Лампорт наиболее известен своей плодотворной работой в распределенных системах, а также как начальный разработчик системы подготовки документов LaTeX и автор ее первого руководства. Лесли Лэмпорт был лауреатом Премии Тьюринга 2013 года за наложение ясной, четко определенной согласованности на кажущееся хаотичное поведение систем распределенных вычислений, в которых несколько автономных компьютеров взаимодействуют друг с другом посредством передача сообщений. Он разработал важные алгоритмы и разработал формальное моделирование и протоколы проверки, которые улучшают качество реальных распределенных систем. Этот вклад позволил повысить точность, производительность и надежность компьютерных систем.
Выпускник Высшей школы естественных наук Бронкса, он получил BS в математике от Массачусетского технологического института в 1960 году и MA и Ph.D. степени по математике из Университета Брандейса, соответственно, в 1963 и 1972 годах. Его диссертация была посвящена сингулярностям в аналитических уравнениях в частных производных.
Лэмпорт работал компьютерным ученым в Massachusetts Computer Associates с 1970 по 1977 год, SRI International с 1977 по 1985 год и Digital Equipment Corporation и Compaq с 1985 по 2001 год. В 2001 году он присоединился к d Microsoft Research в Маунтин-Вью, Калифорния, которая закрылась в 2014 году.
Исследования Лампорта заложили основы теории распределенных систем. Среди его наиболее заметных работ -
Эти документы относятся к таким понятиям, как логические часы (и связь произошедшие до ) и византийские неудачи. Они входят в число наиболее цитируемых работ в области информатики и описывают алгоритмы для решения многих фундаментальных проблем в распределенных системах, включая:
Когда Дональд Кнут начал выпуск первых выпусков TeX в начале 1980-х, Лэмпорт - в связи с его личной потребностью написать книгу - также начал работать над набором макросов на его основе, надеясь, что позже он станет его стандартным пакетом макросов. Этот набор макросов позже стал известен как LaTeX, и в 1983 году к Лампорту обратился Питер Гордон, редактор Addison-Wesley, который предложил, чтобы Lamport перевернул свое руководство пользователя. в книгу.
В сентябре 1984 года Лампорт выпустил версию 2.06a макросов LaTeX, а в августе 1985 года также должен был быть выпущен LaTeX 2.09 - последняя версия LaTeX Лампорта. Тем временем Аддисон-Уэсли выпустил первое руководство пользователя Lamport LaTeX, LaTeX: A Document Preparation System, в 1986 году, которое якобы было продано «более нескольких сотен тысяч» копий, а 21 августа 1989 года на собрании группы пользователей TeX в Стэнфорд, Лэмпорт согласился передать поддержку и разработку LaTeX Фрэнку Миттельбаху, который вместе с Крисом Роули и Райнером Шёпфом сформирует команду LaTeX3, впоследствии выпустив LaTeX 2e, текущую версию LaTeX, в 1994 году.
Лэмпорт также известен своей работой по темпоральной логике, где он представил темпоральную логику действий (TLA). Среди его недавних работ - TLA, язык для определения и рассуждений о параллельных и реактивных системах, который он описывает в книге Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers и определяет как " донкихот попытка преодолеть антипатию инженеров к математике ».
Лэмпорт получил Премию Тьюринга 2013 года за« фундаментальный вклад в теория и практика распределенных и параллельных систем, в частности изобретение таких понятий, как причинность и логические часы, безопасность и живучесть, реплицируемые конечные автоматы и последовательная согласованность »в 2014 году. Он был избран членом ACM для фундаментальный вклад в теорию и практику распределенных и параллельных систем в 2014 году. Он также получил пять почетных докторских степеней европейских университетов: Реннский университет и Кильский университет Кристиана Альбрехта в 2003 году, EPFL в 2004 г., Университет Лугано в 2006 году и Университет Нэнси в 2007 году. В 2004 году он получил премию IEEE Эмануэля Р. Пиоре. В 2005 году работа «Достижение согласия при наличии недостатков» получила Премию Дейкстры. В честь шестидесятилетия Лампорта на 20-м симпозиуме по принципам распределенных вычислений (PODC 2001) был организован цикл лекций. В 2008 году он получил медаль Джона фон Неймана IEEE. В 2011 году он был избран членом Национальной академии наук США.