Narození |
7. února 1941 New York |
---|---|
Státní příslušnost | americký |
Výcvik |
Massachusetts Institute of Technology ( BSc ) Brandeis University ( Philosophy doctor and MSc ) Bronx High School of Science |
Činnosti | Matematik , počítačový vědec , programátor , inženýr , spisovatel |
Pracoval pro | MITER (1962-1965) , SRI International (1977-1985) , Digital Equipment Corporation (1985-2001) , Microsoft Research (od2001) |
---|---|
Oblasti | IT , distribuované výpočty |
Člen |
Americká akademie umění a věd Americká akademie věd (2011) |
Dozorce | Richard Palace |
webová stránka | www.lamport.org |
Ocenění |
Turingova cena (2013) |
Distribuované výpočty , LaTeX , TLA + , časová logika akcí ( d ) |
Leslie B. Lamport , narozen dne7. února 1941v New Yorku , je výzkumný pracovník v oblasti výpočetní techniky v USA , specialista na algoritmickou distribuci . Získal Turingovu cenu za rok 2013. Je návrhářem bezplatného softwaru pro tvorbu dokumentů LaTeX ( 1983 ).
Studoval matematiku na Massachusetts Institute of Technology (MIT) a pak na Brandeis University kde získal svůj titul Ph.D. (doktorát) v matematice v roce 1972. Pracoval v Massachusetts Computer Associates od roku 1970 do roku 1977, pak na SRI International z roku 1977 do roku 1985 a v Digital Equipment Corporation Systems Research Center od roku 1985 do roku 2001. Od roku 2001 pracoval ve společnosti Microsoft Research .
Algoritmus pekárny je algoritmus, který poskytuje „pozoruhodně intuitivní a přirozené“ řešení problému vzájemného vyloučení formulovaného Dijkstrou . Předchozí řešení navržené společností Dijkstra bylo řešením vysoké úrovně problému na nízké úrovni.
Lamport je někdy označován jako otec distribuovaného počtu . Zejména v roce 1979 formuloval vztah „ stalo se před “ (anglicky „ stalo se dříve “), který umožňuje získat částečný rozkaz akcí v distribuovaných systémech. Lamport také vynalezl hodinový systém, který nese jeho jméno . Používají se k synchronizaci distribuovaných systémů. Pracoval také na některých kryptografických aspektech, jako jsou jednorázová hesla a další problémy týkající se konsensu a konkurence v sítích . Zajímal se také o problém konsensu , zejména o protokol Paxos .
Leslie Lamport je však mimo vědeckou komunitu IT nejznámější jako tvůrce LaTeXu (založeného na TeXu , Donalda Knutha ), systému rozvržení dokumentů, který používají zejména vědci z mnoha oborů (informatika, matematika , fyzika , bioinformatika …) pro dokumenty obsahující mnoho matematických vzorců. Od té doby vývoj LaTeXu provádějí jiní.
Leslie Lamport získala v letech 2000, 2005 a 2014 třikrát cenu Dijkstra a medaili Johna von Neumanna v roce 2008 . Je držitelem titulu doctor honoris causa uděleného univerzitou v Rennes 1 v roce 2003, Christian Albrecht University v Kielu v roce 2003, dále Federální polytechnickou školou v Lausanne v roce 2004, univerzitou v italském Švýcarsku. V roce 2006 , a Henri Poincaré University v roce 2007.
The 18. března 2014, získává Turingovu cenu za rok 2013 za „své základní teoretické a aplikované příspěvky v distribuovaných a souběžných systémech, zejména za vymýšlení konceptů, jako je kauzalita a logické hodiny, […] a sekvenční soudržnost“.