Lamport, Leslie

Leslie Lamport
engelsk  Leslie Lamport
Fødselsdato	7. februar 1941( 1941-02-07 ) [1] (81 år)
Fødselssted	New York , New York , USA
Land	USA
Videnskabelig sfære	informatik og distribueret computing
Arbejdsplads	Mitre Corporation [d] Digital Equipment Corporation SRI International [d] Microsoft Research
Alma Mater	MIT Brandeis Universitet Gymnasium (Bronx) med videregående studier [d]
Akademisk grad	M.Sc. [d] (1963) ogPh.D.(1972)
videnskabelig rådgiver	Richard Palais [d]
Præmier og præmier	Dijkstra-prisen ( 2000 ) John von Neumann-medaljen ( 2008 ) Turing Award ( 2013 ) Emanuel Pior-prisen ( 2004 ) æresdoktor fra University of Rennes I [d] ( 2003 ) Æresdoktor ved Federal Polytechnic School of Lausanne [d] Fello ACM ( 2014 ) Dijkstra-prisen ( 2005 ) Dijkstra-prisen ( 2014 ) æresdoktor fra University of Kiel [d] ( 2003 ) æresdoktor ( 2006 ) æresdoktor ( 2007 ) æresdoktor ved Federal Polytechnic School of Lausanne [d] ( 2004 )
Internet side	lampport.org
Citater på Wikiquote
Mediefiler på Wikimedia Commons

Leslie Lamport ( eng.  Leslie Lamport ; født 7. februar 1941 , New York , New York ) er en amerikansk datalog, den første vinder af Dijkstra-prisen . Udvikler af LaTeX , et populært sæt makroudvidelser til TeX  -computerlayoutsystemet , forsker i teorien om distribuerede systemer , tidsmæssig logik og spørgsmål om processynkronisering i interagerende systemer. Vinder af Turing Award 2013.

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

Biografi

Han dimitterede fra gymnasiet i Bronx ( Bronx High School of Science ), modtog en bachelorgrad i matematik fra Massachusetts Institute of Technology i 1960. Han modtog sin MA (1963) og PhD (1972) fra Brandeis University [4] .

Siden 1970'erne har han arbejdet ved Massachusetts Institute of Technology , SRI International , DEC og Compaq , siden 2001 har han været ansat i Microsoft Research .

Lamports forskning lagde grundlaget for teorien om distribuerede systemer . Blandt hans mest berømte værker er:

• "Tid, ure og rækkefølgen af ​​begivenheder i et distribueret system" [5] . Dette værk modtog 2000 PODC Influential Paper Award i 2000 og 2007 ACM SIGOPS Hall of Fame Award.
• "Sådan laver man en multiprocessorcomputer, der udfører multiprocesprogrammer korrekt" [6] , som definerede sekventiel konsistens ,
• "De byzantinske generalers problem" [7] ,
• "Distribuerede Snapshots: Bestemmelse af globale tilstande i et distribueret system" [8] og
• "Deltidsparlamentet" [9] .

Priser og priser

• Æresdoktorgrader: University of Rennes I (Frankrig, 2003), Christian Albrecht University (Tyskland, 2003), Federal Polytechnic School of Lausanne (Schweiz, 2004), University of Lugano (Schweiz, 2006).
• 2000 - Dijkstra-prisen
• 2004 - IEEE Emanuel Pior Award for bidrag til udviklingen af ​​teori og praksis for parallel programmering og fejltolerant databehandling [10] .
• 2005 Dijkstra-prisen for at nå til enighed ved tilstedeværelse af fejl [11] .
• 2008 - IEEE John von Neumann -medaljen for grundlæggende bidrag til teorien om distribueret og parallel computing.
• 2013 - Turing Award for grundlæggende bidrag til teorien om distribuerede systemer [10] .
• 2014 - Dijkstra-prisen .
• 2019 - C&C-prisen .

Se også

• Lamport tidsstempler (Lamport Clock, første variant af det logiske ur )
• Paxos algoritme
• De byzantinske generalers opgave
• Lamports underskrift

Noter

1. ↑ Leslie Lamport // Encyclopædia Britannica 
2. ↑ Leslie B. Lamport Arkiveret 6. januar 2019 på Wayback Machine  
3. ↑ Dr. Leslie B. Lamport Arkiveret 6. januar 2019 på Wayback Machine  
4. ↑ Leslie Lamports skrifter . Hentet 14. oktober 2010. Arkiveret fra originalen 5. august 2011. (ubestemt)
5. ↑ Communications of the ACM 21, 7 (juli 1978), 558-565. Genoptrykt i flere samlinger, herunder Distributed Computing: Concepts and Implementations, McEntire et al., red. IEEE Press, 1984.
6. ↑ Lamport, Leslie. Sådan laver du en multiprocessorcomputer, der udfører multiprocesprogrammet korrekt  // IEEE Trans  . Comput. : journal. - 1979. - Bd. 28 , nr. 9 . - S. 690-691 . — ISSN 0018-9340 . - doi : 10.1109/TC.1979.1675439 .
7. ↑ Lamport, Leslie; Robert Shostak; Marshall Pease. Det byzantinske generalproblem  // ACM-transaktioner på programmeringssprog og  -systemer : journal. - 1982. - Juli ( bind 4 , nr. 3 ). - S. 382-401 . - doi : 10.1145/357172.357176 .
8. ↑ Chandy, K. Mani; Leslie Lamport. Distribuerede øjebliksbilleder: Bestemmelse af globale tilstande af et distribueret system  // ACM-  transaktioner på computersystemer : journal. - 1985. - Februar ( bind 3 , nr. 1 ). - S. 63-75 . - doi : 10.1145/214451.214456 .
9. ↑ Lamport, Leslie. The Part-Time Parliament  (neopr.)  // ACM Transactions on Computer Systems. - 1998. - Maj ( bind 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  (engelsk)  // Journal of the Association for Computing Machinery  : journal. - 1980. - April ( bind 27 , nr. 2 ).

Links

• lamport.org - Leslie Lamports officielle hjemmeside
• ACM. Turing-prisen 2013 (18. marts 2014). (ubestemt)

Tematiske steder	Matematisk genealogi Scopus zbMATH Åbn
Ordbøger og encyklopædier	Britannica (online)
I bibliografiske 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