Лесли Лампорт

Из Википедије, слободне енциклопедије
(преусмерено са Leslie Lamport)
Иди на навигацију Иди на претрагу
Лесли Лампорт
Leslie Lamport.jpg
Лесли Лампорт
Датум рођења(1941-02-07)7. фебруар 1941.(78 год.)
Место рођењаЊујорк
САД
ПољеРачунарство
ШколаМасачусетски технолошки институт, Брандејски универзитет
ИнституцијаМајкрософт
Диџитал еквипмент корпорејшон
Познат поLaTeX
НаградеНаграда Едсгера Дајкстре (2000, 2005 и 2014)
Тјурингова награда (2013)
Веб-сајтwww.lamport.org

Лесли Лампорт (енгл. Leslie Lamport; Њујорк, 7. фебруар 1941) амерички је математичар, информатичар и програмер, творац система за припрему докумената познатог под именом LaTeX.[1]

Лампорт је завршио средњу школу у Бронксу (енгл. Bronx High School of Science) да би 1960. године дипломирао математику на Масачусетском Институту за технологију, а магистратуру и докторат је одбранио на Универзитету Брендеис, 1963. и 1972. године.[2] У својој докторској дисертацији истраживао је сингуларитете аналитичких парцијалних диференцијалних једначина.[3]

Добио је Тјурингову награду 2013. године „за темељне доприносе теорији и пракси дистрибуираних и конкурентних система, конкретно за дефинисање појмова као што су каузалност и логички сатови, безбедност и животност, машине репликованих стања и секвенцијалну конзистентност”.[4] Осмислио је важне алгоритме и развио формалне протоколе за моделирање и верификацију који побољшавају квалитет реалних дистрибуираних система. Ови доприноси су довели до побољшања исправности, перформанси и поузданости рачунарских система.[5][6][7][8]

Референце[уреди]

  1. ^ Лампорт, Лесли (1986). „LaTeX: систем за припрему докумената”. Адисон-Весли. ISBN 978-0-201-15790-1. 
  2. ^ Лампорт, Лесли (23. 4. 2007). „Моји радови”. 
  3. ^ Лампорт, Лесли (1972). „The Analytic Cauchy Problem with Singular Data”. 
  4. ^ „Leslie Lamport - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 3. 02. 2019. 
  5. ^ „Leslie Lamport - ACM author profile page”. dl.acm.org (на језику: енглески). Приступљено 3. 02. 2019. 
  6. ^ 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. 
  7. ^ Savage, Neil. „General Agreement”. Commun. ACM. 57 (6): 22—23. ISSN 0001-0782. doi:10.1145/2601076. 
  8. ^ Hoffmann, Leah. „Q&A: Divide and Conquer”. Commun. ACM. 57 (6): 112—ff. ISSN 0001-0782. doi:10.1145/2601077. 

Спољашње везе[уреди]