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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Лесли Лэмпорт
Leslie Lamport
Leslie Lamport.jpg
Дата рождения:

7 февраля 1941({{padleft:1941|4|0}}-{{padleft:2|2|0}}-{{padleft:7|2|0}}) (73 года)

Место рождения:

Нью-Йорк

Страна:

США

Научная сфера:

информатика

Место работы:

Microsoft

Учёная степень:

доктор философии (PhD)

Альма-матер:

Брандейский университет

Научный руководитель:

Ричард Пэлес (англ.)

Известен как:

LaTeX
Задача византийских генералов
Алгоритм Паксос

Награды и премии


Премия Дейкстры,
Медаль Джона фон Неймана
Премия Тьюринга

Сайт:

www.lamport.org

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

Биография[править | править вики-текст]

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

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

Премии и награды[править | править вики-текст]

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. The Writings of Leslie Lamport
  2. Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). “Reaching Agreement in the Presence of Faults”. Journal of the Association for Computing Machinery 27 (2). Проверено 2007-02-02.
  3. Turing award 2013. ACM (18 марта 2014).

Ссылки[править | править вики-текст]

  • lamport.org — официальный сайт Лесли Лэмпорта