Lamport, Leslie

Leslie Lamportová
Angličtina  Leslie Lamportová
Datum narození	7. února 1941( 1941-02-07 ) [1] (ve věku 81 let)
Místo narození	New York , New York , USA
Země	USA
Vědecká sféra	informatika a distribuované výpočty
Místo výkonu práce	Mitre Corporation [d] Digital Equipment Corporation SRI International [d] Výzkum společnosti Microsoft
Alma mater	MIT Brandejská univerzita Střední škola (Bronx) s pokročilým studiem [d]
Akademický titul	M.Sc. [d] (1963) aPh.D.(1972)
vědecký poradce	Richard Palais [d]
Ocenění a ceny	Cena Dijkstra ( 2000 ) Medaile Johna von Neumanna ( 2008 ) Turingova cena ( 2013 ) Cena Emanuela Piora ( 2004 ) čestný doktorát z University of Rennes I [d] ( 2003 ) Čestný doktor Federální polytechnické školy v Lausanne [d] Fello ACM ( 2014 ) Cena Dijkstra ( 2005 ) Cena Dijkstra ( 2014 ) čestný doktorát z University of Kiel [d] ( 2003 ) čestný doktor ( 2006 ) čestný doktor ( 2007 ) čestný doktorát Federální polytechnické školy v Lausanne [d] ( 2004 )
webová stránka	lampport.org
Citace na Wikicitátu
Mediální soubory na Wikimedia Commons

Leslie Lamport ( angl.  Leslie Lamport ; narozen 7. února 1941 , New York , New York ) je americký počítačový vědec, první vítěz Dijkstrovy ceny . Vývojář LaTeXu , populární sady makro rozšíření pro TeX  počítačový systém rozložení , výzkumník teorie distribuovaných systémů , temporální logiky a problémů synchronizace procesů v interagujících systémech. Vítěz Turingovy ceny 2013.

Člen Národní akademie věd USA (2011) [2] , Národní akademie inženýrství USA (1991) [3] .

Životopis

Vystudoval střední školu v Bronxu ( Bronx High School of Science ), získal bakalářský titul v matematice na Massachusetts Institute of Technology v roce 1960. Získal magisterský titul (1963) a PhD (1972) na Brandeis University [4] .

Od 70. let pracoval v Massachusetts Institute of Technology , SRI International , DEC a Compaq , od roku 2001 je zaměstnancem Microsoft Research .

Lamportův výzkum položil základ pro teorii distribuovaných systémů . Mezi jeho nejznámější díla patří:

• "Čas, hodiny a uspořádání událostí v distribuovaném systému" [5] . Tato práce získala v roce 2000 cenu PODC Influencial Paper Award a v roce 2007 cenu ACM SIGOPS Hall of Fame Award.
• „Jak vyrobit víceprocesorový počítač, který správně spouští víceprocesové programy“ [6] , který definoval sekvenční konzistenci ,
• "Problém byzantských generálů" [7] ,
• "Distribuované snímky: Určení globálních stavů distribuovaného systému" [8] a
• "Parlament na částečný úvazek" [9] .

Ceny a ocenění

• Čestné doktoráty: Univerzita Rennes I (Francie, 2003), Univerzita Christiana Albrechta (Německo, 2003), Federální polytechnická škola v Lausanne (Švýcarsko, 2004), Univerzita v Luganu (Švýcarsko, 2006).
• 2000 - Cena Dijkstra
• 2004 - Cena IEEE Emanuela Piora za přínos k rozvoji teorie a praxe paralelního programování a výpočetní techniky odolné proti chybám [10] .
• Cena Dijkstra za rok 2005 za dosažení dohody za přítomnosti chyb [11] .
• 2008 - Medaile IEEE Johna von Neumanna za zásadní příspěvky k teorii distribuovaných a paralelních výpočtů.
• 2013 - Turingova cena za zásadní přínos k teorii distribuovaných systémů [10] .
• 2014 - Cena Dijkstra .
• 2019 - cena C&C .

Viz také

• Lamport Timestamps (Lamportské hodiny, první varianta logických hodin )
• Algoritmus Paxos
• Úkol byzantských generálů
• Lamportův podpis

Poznámky

1. ↑ Leslie Lamport // Encyclopædia Britannica 
2. ↑ Leslie B. Lamport Archivováno 6. ledna 2019 na Wayback Machine  
3. ↑ Dr. Leslie B. Lamport Archivováno 6. ledna 2019 na Wayback Machine  
4. ↑ Spisy Leslie Lamportové . Získáno 14. října 2010. Archivováno z originálu 5. srpna 2011. (neurčitý)
5. ↑ Communications of the ACM 21, 7 (červenec 1978), 558-565. Přetištěno v několika sbírkách, včetně Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.
6. ↑ Lamport, Leslie. Jak vyrobit víceprocesorový počítač, který správně spouští víceprocesový program  // IEEE Trans  . Počítat. : deník. - 1979. - Sv. 28 , č. 9 . - S. 690-691 . — ISSN 0018-9340 . - doi : 10.1109/TC.1979.1675439 .
7. ↑ Lamport, Leslie; Robert Šosták; Marshall Pease. Problém byzantských generálů  // Transakce ACM v programovacích jazycích a  systémech : deník. - 1982. - Červenec ( roč. 4 , č. 3 ). - S. 382-401 . - doi : 10.1145/357172.357176 .
8. ↑ Chandy, K. Mani; Leslie Lamportová. Distribuované snímky: Určení globálních stavů distribuovaného systému  //  Transakce ACM na počítačových systémech : deník. - 1985. - únor ( roč. 3 , č. 1 ). - str. 63-75 . - doi : 10.1145/214451.214456 .
9. ↑ Lamport, Leslie. Parlament na částečný úvazek  (neopr.)  // ACM Transactions on Computer Systems. - 1998. - Květen ( roč. 16 , č. 2 ). - S. 133-169 . - doi : 10.1145/279227.279229 .
10. ↑ 12. Turingova cena 2013 .
11. ↑ Pease, Marshalle; Robert Šostak, Leslie Lamport. Reaching Agreement in the Presence of Faults  (anglicky)  // Journal of the Association for Computing Machinery  : journal. - 1980. - Duben ( roč. 27 , č. 2 ).

Odkazy

• lamport.org - oficiální stránky Leslie Lamport
• ACM. Turingova cena 2013 (18. března 2014). (neurčitý)

Tematické stránky	Matematická genealogie Scopus zbMATH Otevřeno
Slovníky a encyklopedie	Britannica (online)
V bibliografických katalozích BIBSYS: 90401042 BNF : 12572554j CONOR : 32976739 GND : 170465918 ISNI : 0000 0000 6307 3806 J9U : 987007452666005171 LCCN : n85197221 NDL : 00470060 NLP : A11556766 NUKAT : n93129494 SUDOC : 035040696 VIAF : 44417132 WorldCat VIAF : 44417132