Leslie Lamport

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
Leslie Lamport
Leslie Lamport.jpg
Født7. februar 1941 (78 år)
New York
Utdannet ved Massachusetts Institute of Technology, Brandeis University, The Bronx High School of Science
Doktorgradsveileder Richard Palais
Beskjeftigelse Matematiker, informatiker, programmerer, ingeniør, forfatter
Nasjonalitet USA
Medlem av National Academy of Sciences (2011–), American Academy of Arts and Sciences
Utmerkelser
12 oppføringer
Dijkstra Prize (2000), John-von-Neumann-medaljen (2008), Turing-prisen (2013)[1][2], IEEE Emanuel R. Piore Award (2004), honorary doctorate of the University of Rennes I (2003), honorary doctor of the École polytechnique fédérale de Lausanne, ACM Fellow (2014)[3], Dijkstra Prize (2005), Dijkstra Prize (2014), æresdoktor (2003), æresdoktor (2006), æresdoktor (2007)
InstitusjonerMitre Corporation
Digital Equipment Corporation
SRI International
Microsoft Research
Fagfeltinformatikk
Kjent forLaTeX
Akademisk gradM.Sc, ph.d.

Leslie B. Lamport (født 7. februar 1941) er en amerikansk informatiker. Lamport er mest kjent for sitt banebrytende arbeid med distribuerte databehandlingssystemer og som den opprinnelige utvikleren av tekstbehandlingsverktøyet LaTeX.[4]

Leslie Lamport vant i 2013 Turing-prisen[5] for å finne frem til klart definerte sammenhenger ved den tilsynelatende kaotiske oppførselen til distribuerte databehandlingssystemer. Han utarbeidet viktige algoritmer, utviklet formelle modeller og verifiserte protokoller som forbedret kvaliteten på distribuerte databehandlingssystemer. Disse bidragene har resultert i forbedret nøyaktighet, ytelse og stabilitet for datasystemer.[6][7][8]

Tidlig liv og utdanning[rediger | rediger kilde]

Lamport startet sin formelle utdannelse ved Bronx High School of Science, som ledet til at han tok en bachelorgrad (B.S) i matematikk fra Massachusetts Institute of Technology i 1960, og en mastergrad (M.A) og doktorgrad (Ph. D) i matematikk fra Brandeis University; henholdsvis i 1963 og 1972.[9] Avhandlingen hans var om singularitet i analytisk partielle differensialligninger.[10]

Karriere[rediger | rediger kilde]

Lamport jobbet som forsker ved Massachusetts Computer Associates fra 1970 til 1977, SRI International fra 1977 til 1985, og Digital Equipment Corporation og Compaq fra 1985 til 2001. I 2001 startet han å jobbe for «Microsoft Research» i Mountain View, California.

Lamport forskningsbidrag har lagt grunnlaget for teorien om distribuerte databehandlingssystemer. Noen av de forskningsartiklene Lamport har gitt ut er:

  • «Time, Clocks, and the Ordering of Events in a Distributed System», som mottok prisen «PODC Influential Paper Award» i 2000,[11]
  • «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs»,[12] som definerte begrepet «sekvensiell konsistens»,
  • «The Byzantine Generals' Problem»,[13]
  • «Distributed Snapshots: Determining Global States of a Distributed System»[14] og
  • «The Part-Time Parliament».[15]

Disse forskningsartiklene forholder seg til konsepter som logiske klokker og bysantinske feil. De er blant de mest siterte arbeidene innen fagfeltet informatikk[16]

Referanser[rediger | rediger kilde]

  1. ^ https://awards.acm.org/award_winners/lamport_1205376#140
  2. ^ https://amturing.acm.org/award_winners/lamport_1205376.cfm
  3. ^ https://awards.acm.org/award_winners/lamport_1205376#158
  4. ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Besøkt 2. februar 2007. 
  5. ^ Lamport, Leslie (2013). «Leslie Lamport - A.M. Turing Award Winner». ACM. 
  6. ^ Lamport, L. (1978). «Time, clocks, and the ordering of events in a distributed system» (PDF). Communications of the ACM . 21 (7): 558–565. doi:10.1145/359545.359563. 
  7. ^ Savage, N. (2014). «General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended». Communications of the ACM. 57 (6): 22–23. doi:10.1145/2601076. 
  8. ^ Hoffmann, L. (2014). «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems». Communications of the ACM. 57 (6): 112–ff. doi:10.1145/2601077. 
  9. ^ Lamport, Leslie (19. desember 2006). «My Writings». Besøkt 2. februar 2007. 
  10. ^ Lamport, Leslie (1972). «The Analytic Cauchy Problem with Singular Data». Besøkt 2. februar 2007. 
  11. ^ Neiger, Gil (23. januar 2003). «PODC Influential Paper Award: 2000». Besøkt 2. februar 2007. 
  12. ^ Lamport, Leslie (1979). «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program». IEEE Trans. Comput. 28 (9): 690–691. ISSN 0018-9340. doi:10.1109/TC.1979.1675439. 
  13. ^ Lamport, Leslie (juli 1982). «The Byzantine Generals Problem». ACM Transactions on Programming Languages and Systems. 4 (3): 382–401. doi:10.1145/357172.357176. Besøkt 2. februar 2007. 
  14. ^ Chandy, K. Mani (februar 1985). «Distributed Snapshots: Determining Global States of a Distributed System». ACM Transactions on Computer Systems. 3 (1): 63–75. doi:10.1145/214451.214456. Besøkt 2. februar 2007. 
  15. ^ Lamport, Leslie (mai 1998). «The Part-Time Parliament». ACM Transactions on Computer Systems. 16 (2): 133–169. doi:10.1145/279227.279229. Besøkt 2. februar 2007. 
  16. ^ «Most cited articles in Computer Science». September 2006. Besøkt 8. oktober 2007.