Loading AI tools
американський науковець у галузі комп'ютерних технологій З Вікіпедії, вільної енциклопедії
Леслі Лампорт (англ. Leslie Lamport; нар. 7 лютого 1941, Нью-Йорк) — американський дослідник в галузі інформатики. Випускник з Вищої школи в Бронксі, здобув ступінь бакалавра математики в MIT 1960 р., та ступінь магістра 1963 р. і Ph.D. 1972 р. з математики в Університеті Брандейса[2]. Його дисертація присвячена сингулярності в аналітичних диференціальних рівняннях з частинними похідними[3]. Лампорт відомий, насамперед, за дослідження розподілених систем та як перший розробник системи LaTeX[4].
Леслі Лампорт | |
---|---|
англ. Leslie Lamport | |
Леслі Лампорт | |
Народився | 7 лютого 1941 (83 роки) Нью-Йорк, США |
Країна | США |
Діяльність | математик, інформатик, програміст, інженер, письменник |
Alma mater | Брандейський університет |
Галузь | Інформатика |
Заклад | Microsoft Research Compaq Digital Equipment Corporation SRI International |
Науковий ступінь | Магістр наук[d] (1963) і доктор філософії (1972) |
Науковий керівник | Річард Палаіс |
Членство | Національна академія наук США Американська академія мистецтв і наук Association for Computing Machinery[1] |
Відомий завдяки: | LaTeX Задача візантійських генералів Паксос алгоритми |
Нагороди | |
Особ. сторінка | lamport.org |
Висловлювання у Вікіцитатах Леслі Лампорт у Вікісховищі |
Леслі Лампорт працював дослідником в Massachusetts Computer Associates, SRI International, Digital Equipment Corporation та Compaq. 2001 р. перейшов до Microsoft Research в Маунтін-В'ю, Каліфорнія[2].
Дослідження Лампорта заклали фундамент в теорію розподілених систем. До його відомих праць належать, зокрема:
Ці статті присвячені таким поняттям, як логічні годинники (та відношення трапилось до) та Задача візантійських генералів. Вони належать до числа найцитованіших праць в галузі інформатики[11], в них описані алгоритми розв'язання багатьох фундаментальних проблем розподілених систем, зокрема:
Лампорт також відомий завдяки дослідженням часової логіки, де він розробив часову логіку дій (TLA)[12][13].
До останніх розробок належить TLA+, логіка для специфікації та дослідження багатопотокових та реактивних систем, яку він описав в книзі «Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers» (Специфікація систем: мова та засоби TLA+ для розробників програмного і апаратоного забезпечення)[14] та називає «донкіхотською спробою подолати відразу інженерів до математики».[15]
Лампорт отримав чотири ступені почесного доктора від Європейських університетів: Університет Ренн та Кільський університет в 2003, Лозанни в 2004 та Університет Лугано в 2006.[2] 2004 р., здобув нагороду імені Емануеля Піора від IEEE.[16] 2005 р., стаття «Reaching Agreement in the Presence of Faults» (Досягнення згоди за відсутності збоїв)[17] отримала приз імені Дейкстри[18]. На відзнаку 60-ти років з дня народження Лампорта була організована серія лекцій на 20-му симпозиумі з принципів розподілених обчислень (PODC 2001).[19]. 2013 року став лауреатом Премії Тюрінга[20].
Розподілена система — це система в якій комп'ютер, про існування якого ви навіть не здогадувались, може зробити ваш комп'ютер непрацездатним. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.