Лесли Лампорт
Лесли Лампорт | |
---|---|
Лични подаци | |
Датум рођења | 7. фебруар 1941. |
Место рођења | Њујорк, САД |
Образовање | Масачусетски технолошки институт, Брандејски универзитет |
Научни рад | |
Поље | Рачунарство |
Институција | Мајкрософт Диџитал еквипмент корпорејшон |
Познат по | LaTeX |
Награде | Награда Едсгера Дајкстре (2000, 2005 и 2014) Тјурингова награда (2013) |
Званични веб-сајт | |
www |
Лесли Лампорт (енгл. Leslie Lamport; Њујорк, 7. фебруар 1941) амерички је математичар, информатичар и програмер, творац система за припрему докумената познатог под именом LaTeX.[1]
Лампорт је завршио средњу школу у Бронксу (енгл. Bronx High School of Science) да би 1960. године дипломирао математику на Масачусетском Институту за технологију, а магистратуру и докторат је одбранио на Универзитету Брендеис, 1963. и 1972. године.[2] У својој докторској дисертацији истраживао је сингуларитете аналитичких парцијалних диференцијалних једначина.[3]
Добио је Тјурингову награду 2013. године „за темељне доприносе теорији и пракси дистрибуираних и конкурентних система, конкретно за дефинисање појмова као што су каузалност и логички сатови, безбедност и животност, машине репликованих стања и секвенцијалну конзистентност”.[4] Осмислио је важне алгоритме и развио формалне протоколе за моделирање и верификацију који побољшавају квалитет реалних дистрибуираних система. Ови доприноси су довели до побољшања исправности, перформанси и поузданости рачунарских система.[5][6][7][8]
Референце
[уреди | уреди извор]- ^ Лампорт, Лесли (1986). „LaTeX: систем за припрему докумената”. Адисон-Весли. ISBN 978-0-201-15790-1.
- ^ Лампорт, Лесли (23. 4. 2007). „Моји радови”.
- ^ Лампорт, Лесли (1972). „The Analytic Cauchy Problem with Singular Data”.
- ^ „Leslie Lamport - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 3. 02. 2019.
- ^ „Leslie Lamport - ACM author profile page”. dl.acm.org (на језику: енглески). Приступљено 3. 02. 2019.
- ^ Lamport, Leslie. „Time, Clocks, and the Ordering of Events in a Distributed System”. Commun. ACM. 21 (7): 558—565. ISSN 0001-0782. doi:10.1145/359545.359563.
- ^ Savage, Neil. „General Agreement”. Commun. ACM. 57 (6): 22—23. ISSN 0001-0782. doi:10.1145/2601076.
- ^ Hoffmann, Leah. „Q&A: Divide and Conquer”. Commun. ACM. 57 (6): 112—ff. ISSN 0001-0782. doi:10.1145/2601077.