Леслі Лампорт
| Леслі Лампорт | |
|---|---|
| англ. Leslie Lamport | |
 | |
| Народився |
7 лютого 1941 (83 роки) Нью-Йорк,  США |
| Країна |
США |
| Діяльність | математик, інформатик, програміст, інженер, письменник |
| Alma mater | Брандейський університет |
| Галузь | Інформатика |
| Заклад |
Microsoft Research Compaq Digital Equipment Corporation SRI International |
| Науковий ступінь | Магістр наук[d] (1963) і доктор філософії (1972) |
| Науковий керівник | Річард Палаіс |
| Членство |
Національна академія наук США Американська академія мистецтв і наук |
| Відомий завдяки: |
LaTeX Задача візантійських генералів Паксос алгоритми |
| Нагороди | |
| Особ. сторінка | lamport.org |
 Висловлювання у Вікіцитатах Леслі Лампорт у Вікісховищі | |
Леслі Лампорт (англ. Leslie Lamport; нар. 7 лютого 1941, Нью-Йорк) — американський дослідник в галузі інформатики. Випускник з Вищої школи в Бронксі, здобув ступінь бакалавра математики в MIT 1960 р., та ступінь магістра 1963 р. і Ph.D. 1972 р. з математики в Університеті Брандейса[1]. Його дисертація присвячена сингулярності в аналітичних диференціальних рівняннях з частинними похідними[2]. Лампорт відомий, насамперед, за дослідження розподілених систем та як перший розробник системи LaTeX[3].
Леслі Лампорт працював дослідником в Massachusetts Computer Associates, SRI International, Digital Equipment Corporation та Compaq. 2001 р. перейшов до Microsoft Research в Маунтін-В'ю, Каліфорнія[1].
Дослідження Лампорта заклали фундамент в теорію розподілених систем. До його відомих праць належать, зокрема:
- «Time, Clocks, and the Ordering of Events in a Distributed System» (Час, годинники та впорядкування подій в розподіленій системі),[4] що отримала премію Дейкстри за 2000 рік[5]
- «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].
Ці статті присвячені таким поняттям, як логічні годинники (та відношення трапилось до) та Задача візантійських генералів. Вони належать до числа найцитованіших праць в галузі інформатики[10], в них описані алгоритми розв'язання багатьох фундаментальних проблем розподілених систем, зокрема:
- Паксос алгоритми для пошуку консенсусу.
- алгоритм пекарні для взаємного виключення багатьох нитей в обчислювальних системах, які використовують багато ресурсів.
- Алгоритм знімку для визначення узгоджених глобальних станів.
Лампорт також відомий завдяки дослідженням часової логіки, де він розробив часову логіку дій (TLA)[11][12].
До останніх розробок належить TLA+, логіка для специфікації та дослідження багатопотокових та реактивних систем, яку він описав в книзі «Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers» (Специфікація систем: мова та засоби TLA+ для розробників програмного і апаратоного забезпечення)[13] та називає «донкіхотською спробою подолати відразу інженерів до математики».[14]
Лампорт отримав чотири ступені почесного доктора від Європейських університетів: Університет Ренн та Кільський університет в 2003, Лозанни в 2004 та Університет Лугано в 2006.[1] 2004 р., здобув нагороду імені Емануеля Піора від IEEE.[15] 2005 р., стаття «Reaching Agreement in the Presence of Faults» (Досягнення згоди за відсутності збоїв)[16] отримала приз імені Дейкстри[17]. На відзнаку 60-ти років з дня народження Лампорта була організована серія лекцій на 20-му симпозиумі з принципів розподілених обчислень (PODC 2001).[18]. 2013 року став лауреатом Премії Тюрінга[19].
Розподілена система — це система в якій комп'ютер, про існування якого ви навіть не здогадувались, може зробити ваш комп'ютер непрацездатним.
- Підпис Лампорта — метод створення цифрового підпису.
- S/KEY — система одноразових паролей, інколи називають схемою Лампорта.
- ↑ а б в Lamport, Leslie (19 грудня 2006). My Writings. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
- ↑ Lamport Leslie. The Analytic Cauchy Problem with Singular Data. — 1972. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
- ↑ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Процитовано 2 лютого 2007.
- ↑ Lamport, Leslie (July 1978). Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM. 21 (7): 558—565. doi:10.1145/359545.359563. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
- ↑ Neiger, Gil (23 січня 2003). PODC Influential Paper Award: 2000. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
- ↑ Lamport, Leslie (1979). How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program. IEEE Trans. Comput. 28 (9): 690—691. doi:10.1109/TC.1979.1675439. ISSN 0018-9340. Архів оригіналу за 5 серпня 2011. Процитовано 3 грудня 2010.
- ↑ Lamport, Leslie; Robert Shostak, Marshall Pease (July 1982). The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems. 4 (3): 382—401. doi:10.1145/357172.357176. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
- ↑ Chandy, K. Mani; Leslie Lamport (February 1985). Distributed Snapshots: Determining Global States of a Distributed System. ACM Transactions on Computer Systems. 3 (1): 63—75. doi:10.1145/214451.214456. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
- ↑ Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems. 16 (2): 133—169. doi:10.1145/279227.279229. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
- ↑ Most cited articles in Computer Science. 2006-09. Архів оригіналу за 9 липня 2013. Процитовано 8 жовтня 2007.
- ↑ Lamport Leslie. A Temporal Logic of Actions. — 1990. — 1 квітня. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
- ↑ Lamport, Leslie (May 1994). The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems. 16 (3): 872—923. doi:10.1145/177492.177726. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
- ↑ Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 0-321-14306-X. Архів оригіналу за 11 грудня 2008. Процитовано 2 лютого 2007.
- ↑ The International Conference on Dependable Systems and Networks keynote speaker biography. Архів оригіналу за 9 липня 2013. Процитовано 6 березня 2007.
- ↑ IEEE Emanuel R. Piore Award Recipients. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
- ↑ Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery. 27 (2). Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
- ↑ Edsger W. Dijkstra Prize in Distributed Computing: 2005. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
- ↑ PODC 2001: Lamport Lecture Series. Архів оригіналу за 9 липня 2013. Процитовано 2 липня 2009.
- ↑ LESLIE LAMPORT. Архів оригіналу за 16 січня 2016. Процитовано 25 серпня 2014.
- ↑ Lamport, Leslie (28 травня 1987). Distribution e-mail. Архів оригіналу за 9 липня 2013. Процитовано 16 квітня 2007.
- Домашня сторінка Леслі Лампорта [Архівовано 24 березня 2005 у Wayback Machine.](англ.)
|
- Народились 7 лютого
- Народились 1941
- Доктори філософії
- Члени і члени-кореспонденти Національної академії наук США
- Члени Американської академії мистецтв і наук
- Лауреати премії Дейкстри
- Нагороджені медаллю Джона фон Неймана
- Лауреати премії Тюрінга
- Лауреати премії Емануеля Піора
- Дійсні члени ACM
- Інформатики
- Математики США
- Люди Майкрософту
- Математики зі штату Нью-Йорк
- Співробітники Microsoft
- Американські інженери 21-го століття
- Американські інженери XX століття
- Випускники Брандейського університету
- Уродженці Нью-Йорка