Lamport, Leslie

Leslie Lamport
engelsk  Leslie Lamport
Födelsedatum	7 februari 1941( 1941-02-07 ) [1] (81 år gammal)
Födelseort	New York , New York , USA
Land	USA
Vetenskaplig sfär	informatik och distribuerad datoranvändning
Arbetsplats	Mitre Corporation [d] Digital Equipment Corporation SRI International [d] Microsoft Research
Alma mater	MIT Brandeis universitet Gymnasieskola (Bronx) med avancerade studier [d]
Akademisk examen	M.Sc. [d] (1963) ochPh.D.(1972)
vetenskaplig rådgivare	Richard Palais [d]
Utmärkelser och priser	Dijkstra-priset ( 2000 ) John von Neumann-medalj ( 2008 ) Turing Award ( 2013 ) Emanuel Pior-priset ( 2004 ) hedersdoktor från University of Rennes I [d] ( 2003 ) Hedersdoktor vid Federal Polytechnic School of Lausanne [d] Fello ACM ( 2014 ) Dijkstra-priset ( 2005 ) Dijkstra-priset ( 2014 ) hedersdoktor vid universitetet i Kiel [d] ( 2003 ) hedersdoktor ( 2006 ) hedersdoktor ( 2007 ) hedersdoktor vid Federal Polytechnic School of Lausanne [d] ( 2004 )
Hemsida	lampport.org
Citat på Wikiquote
Mediafiler på Wikimedia Commons

Leslie Lamport ( eng.  Leslie Lamport ; född 7 februari 1941 , New York , New York ) är en amerikansk datavetare, den första vinnaren av Dijkstra-priset . Utvecklare av LaTeX , en populär uppsättning makrotillägg för TeX  -datorlayoutsystemet , forskare inom teorin om distribuerade system , tidslogik och problem med processsynkronisering i interagerande system. Vinnare av Turingpriset 2013.

Medlem av US National Academy of Sciences (2011) [2] , US National Academy of Engineering (1991) [3] .

Biografi

Han tog examen från gymnasiet i Bronx ( Bronx High School of Science ), fick en kandidatexamen i matematik från Massachusetts Institute of Technology 1960. Han fick sin MA (1963) och PhD (1972) från Brandeis University [4] .

Sedan 1970-talet har han arbetat vid Massachusetts Institute of Technology , SRI International , DEC och Compaq , sedan 2001 har han varit anställd på Microsoft Research .

Lamports forskning lade grunden för teorin om distribuerade system . Bland hans mest kända verk är:

• "Tid, klockor och ordning av händelser i ett distribuerat system" [5] . Detta verk fick 2000 PODC Influential Paper Award 2000 och 2007 ACM SIGOPS Hall of Fame Award.
• "Hur man gör en multiprocessordator som korrekt kör multiprocessprogram" [6] , som definierade sekventiell konsistens ,
• "De bysantinska generalernas problem" [7] ,
• "Distribuerade ögonblicksbilder: Fastställande av globala tillstånd för ett distribuerat system" [8] och
• "Deltidsparlamentet" [9] .

Priser och utmärkelser

• Hedersdoktorer: University of Rennes I (Frankrike, 2003), Christian Albrecht University (Tyskland, 2003), Federal Polytechnic School of Lausanne (Schweiz, 2004), University of Lugano (Schweiz, 2006).
• 2000 - Dijkstra-priset
• 2004 - IEEE Emanuel Pior Award för bidrag till utvecklingen av teorin och praktiken för parallell programmering och feltolerant beräkning [10] .
• 2005 Dijkstra-pris för att nå överenskommelser vid förekomst av fel [11] .
• 2008 - IEEE John von Neumann- medalj för grundläggande bidrag till teorin om distribuerad och parallell beräkning.
• 2013 - Turing Award för grundläggande bidrag till teorin om distribuerade system [10] .
• 2014 - Dijkstra-priset .
• 2019 - C&C-priset .

Se även

• Lamport Timestamps (Lamport Clock, första varianten av den logiska klockan )
• Paxos algoritm
• De bysantinska generalernas uppgift
• Lamports signatur

Anteckningar

1. ↑ Leslie Lamport // Encyclopædia Britannica 
2. ↑ Leslie B. Lamport Arkiverad 6 januari 2019 på Wayback Machine  
3. ↑ Dr. Leslie B. Lamport Arkiverad 6 januari 2019 på Wayback Machine  
4. ↑ Leslie Lamports skrifter . Hämtad 14 oktober 2010. Arkiverad från originalet 5 augusti 2011. (obestämd)
5. ↑ Communications of the ACM 21, 7 (juli 1978), 558-565. Omtryckt i flera samlingar, inklusive Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.
6. ↑ Lamport, Leslie. Hur man gör en multiprocessordator som kör multiprocessprogrammet korrekt  // IEEE Trans  . Comput. : journal. - 1979. - Vol. 28 , nr. 9 . - s. 690-691 . — ISSN 0018-9340 . - doi : 10.1109/TC.1979.1675439 .
7. ↑ Lamport, Leslie; Robert Shostak; Marshall Pease. Det bysantinska generalproblemet  // ACM-transaktioner på programmeringsspråk och  system : journal. - 1982. - Juli ( vol. 4 , nr 3 ). - s. 382-401 . - doi : 10.1145/357172.357176 .
8. ↑ Chandy, K. Mani; Leslie Lamport. Distribuerade ögonblicksbilder: Fastställande av globala tillstånd för ett distribuerat system  // ACM-  transaktioner på datorsystem : journal. - 1985. - Februari ( vol. 3 , nr 1 ). - S. 63-75 . - doi : 10.1145/214451.214456 .
9. ↑ Lamport, Leslie. Deltidsparlamentet  (neopr.)  // ACM Transactions on Computer Systems. - 1998. - Maj ( vol. 16 , nr 2 ). - S. 133-169 . - doi : 10.1145/279227.279229 .
10. ↑ 12 Turing Award 2013 .
11. ↑ Pease, Marshall; Robert Shostak, Leslie Lamport. Reaching Agreement in the Presence of Faults  (engelska)  // Journal of the Association for Computing Machinery  : journal. - 1980. - April ( vol. 27 , nr 2 ).

Länkar

• lamport.org - den officiella webbplatsen för Leslie Lamport
• ACM. Turingpriset 2013 (18 mars 2014). (obestämd)

Tematiska platser	Matematisk släktforskning Scopus zbMATH Öppna
Ordböcker och uppslagsverk	Britannica (online)
I bibliografiska kataloger 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