Leslie Lamport

Leslie Lamport
Leslie Lamport.jpg
Geboren
Leslie B. Lamport

7. Februar 1941 (Alter 81)
New York City, New York
Alma Mater
Bekannt für
Auszeichnungen
Wissenschaftliche Karriere
Felder Informatik
Institutionen
These Das analytische Cauchy -Problem mit singulären Daten (1972)
Doktorand Richard Palais[1]
Webseite Lamport.org

Leslie B. Lamport (Geboren am 7. Februar 1941 in Brooklyn) ist ein Amerikaner Informatiker. Lamport ist am bekanntesten für seine wegweisende Arbeit in verteilte Systemeund als anfänglicher Entwickler des Dokumentvorbereitungssystems Latex und der Autor seines ersten Handbuchs.[2] Lamport war der Gewinner des 2013 Turing Award[3] für klare, genau definierte Kohärenz auf das scheinbar chaotische Verhalten von verteiltes Computer Systeme, in denen mehrere autonome Computer miteinander kommunizieren, indem sie Nachrichten übergeben. Er entwickelte wichtig Algorithmen und entwickelt Formale Modellierung und Überprüfungsprotokolle, die die Qualität real verteilter Systeme verbessern. Diese Beiträge haben zu einer verbesserten Korrektheit, Leistung und Zuverlässigkeit von Computersystemen geführt.[4][5][6][7][8]

Frühes Leben und Ausbildung

LaMport wurde in eine jüdische Familie in Brooklyn, New York, als Sohn von Benjamin und Hannah Lamport (geb. lasser) geboren.[9] Sein Vater war ein Einwanderer aus Volkovisk im russischen Reich (jetzt Vawkavysk, Weißrussland)[10] Und seine Mutter war ein Einwanderer aus dem österreichisch-ungarischen Reich im Südosten Polens.

Ein Absolvent von Bronx High School of Science, Lamport erhielt a B.S. in Mathematik von dem Massachusetts Institute of Technology 1960 gefolgt von M.A. (1963) und Ph.D. (1972) Abschluss in Mathematik aus Brandeis University.[11] In seiner Dissertation geht es um Singularitäten in der Analyse partielle Differentialgleichungen.[12]

Karriere und Forschung

Lamport arbeitete als Informatiker bei Massachusetts Computer Associates Von 1970 bis 1977,, SRI International von 1977 bis 1985 und Digital Equipment Corporation und Compaq Von 1985 bis 2001. 2001 trat er bei Microsoft Research in Kalifornien.[11]

Verteilte Systeme

Lamports Forschungsbeiträge haben die Grundlagen der Theorie der verteilten Systeme gelegt. Zu seinen bemerkenswertesten Papieren gehören

Diese Papiere beziehen sich auf Konzepte wie logische Uhren (und die passierte davor Beziehung) und Byzantinische Fehler. Sie gehören zu den am häufigsten zitierten Papieren im Bereich der Informatik,[18] und beschreiben Algorithmen, um viele grundlegende Probleme in verteilten Systemen zu lösen, einschließlich:

Latex

Wann Donald Knuth begann die frühen Veröffentlichungen von auszustellen Tex In den frühen 1980er Jahren begann Lamport - aufgrund seines persönlichen Bedürfnisses, ein Buch zu schreiben, auch an einer Reihe von Makros zu arbeiten, die darauf basieren, in der Hoffnung, dass es später zu seinem Standard -Makropaket werden würde. Dieser Satz von Makros würde später als bekannt werden als Latex, für die Lamport später 1983 von Peter Gordon, einem Addison-Wesley Herausgeber, der vorschlug, dass Lamport sein Benutzerhandbuch in ein Buch verwandelt.[19][20]

Im September 1984 veröffentlichte LaMport die Version 2.06A der Latex -Makros, und im August 1985 wurde auch Latex 2.09 - die letzte Version von LaMport's Latex - veröffentlicht. In der Zwischenzeit veröffentlichte Addison-Wesley Lamports erstes Latex-Benutzerhandbuch, Latex: Ein Dokumentvorbereitungssystem, 1986, das angeblich "mehr als ein paar hunderttausend" Exemplare und am 21. August 1989 bei einer Tex User Group -Sitzung at Stanford, Lamport würde zustimmen, die Wartung und Entwicklung von Latex an Frank Mittelbach zu übergeben, der zusammen mit Chris Rowley und Rainer Schöpf das Latex3 -Team bilden würde und anschließend Latex 2e, die aktuelle Version von Latex, 1994 veröffentlicht hatte.[20][21]

Zeitliche Logik

Lamport ist auch bekannt für seine Arbeit an zeitliche Logik, wo er das vorstellte zeitliche Logik der Aktionen (TLA).[22][23] Zu seinen neueren Beiträgen gehört Tla+, eine Sprache zum Angeben und Argumentieren über gleichzeitige und reaktive Systeme, die er in dem Buch beschreibt Systeme angeben: die TLA+ Sprache und Tools für Hardware- und Software -Ingenieure.[24] Er definiert TLA+ als "quixotisch Versuch, die Antipathie der Ingenieure gegenüber der Mathematik zu überwinden ".[25]

Auszeichnungen und Ehrungen

Lamport erhielt die 2013 Turing Award Für "grundlegende Beiträge zur Theorie und Praxis verteilter und gleichzeitiger Systeme, insbesondere zur Erfindung von Konzepten wie Kausalität und logischen Uhren, Sicherheit und Lebendigkeit, replizierte Staatsmaschinen und sequentielle Konsistenz" im Jahr 2014.[26] Er wurde zum Mitglied der gewählt Nationale Akademie des Ingenieurwesens 1991 für Beiträge zu den theoretischen Grundlagen des gleichzeitigen und fehlertoleranten Computers. Er wurde zum Fellow von gewählt Verband für Rechenmaschinen Für grundlegende Beiträge zur Theorie und Praxis verteilter und gleichzeitiger Systeme im Jahr 2014.[27] Er erhielt auch fünf Ehrendoktoren von europäischen Universitäten: Universität Rennes und Christian Albrechts Universität von Kiel in 2003, École Polytechnique Fédérale de Lausanne (EPFL) in 2004, Universität Lugano im Jahr 2006 und und Nancy-université in 2007.[11] Im Jahr 2004 erhielt er das IEEE Emanuel R. Piore Award.[28] Im Jahr 2005, das Papier "Erreichung einer Vereinbarung in Anwesenheit von Fehlern"[29] erhielt die Dijkstra -Preis.[30] Zu Ehren von Lamports sechzigstem Geburtstag wurde am 20. eine Vorlesungsreihe organisiert Symposium über Prinzipien des verteilten Computers (PODC 2001).[31] Im Jahr 2008 erhielt er das IEEE John von Neumann -Medaille.[32] Im Jahr 2011 wurde er in die gewählt Nationale Akademie der Wissenschaften.[33]

Verweise

  1. ^ Leslie Lamport Bei der Mathematik Genealogie -Projekt Edit this at Wikidata
  2. ^ Lamport, Leslie (1986). Latex: Ein Dokumentvorbereitungssystem. Addison-Wesley. ISBN 978-0-201-15790-1. Abgerufen 2019-06-20.
  3. ^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Sieger". ACM.
  4. ^ Leslie Lamport Autorenprofilseite am ACM Digitale Bibliothek
  5. ^ a b Lamport, L. (1978). "Zeit, Uhren und die Bestellung von Ereignissen in einem verteilten System" (PDF). Kommunikation der ACM . 21 (7): 558–565. Citeseerx 10.1.1.142.3682. doi:10.1145/359545.359563. S2CID 215822405.
  6. ^ Leslie Lamport Veröffentlichungen indexiert von Microsoft Academic
  7. ^ Savage, N. (2014). "Allgemeine Vereinbarung: Leslie Lamport hat zur Theorie und Praxis des Aufbaus verteilter Computersysteme beigetragen, die wie beabsichtigt funktionieren". Kommunikation der ACM. 57 (6): 22–23. doi:10.1145/2601076. S2CID 5936915.
  8. ^ Hoffmann, L. (2014). "Q & A Teilen und Eroberung: Leslie Lamport über byzantinische Generäle, Uhren und andere Werkzeuge zum Denken über gleichzeitige Systeme". Kommunikation der ACM. 57 (6): 112 - FF. doi:10.1145/2601077. S2CID 31514650.
  9. ^ "1950 US -Volkszählung der Vereinigten Staaten". Ancestry.com. Abgerufen 12. Juli 2022.
  10. ^ "Erster Weltkrieg Karte für Benjamin Lamport". Ancestry.com. Abgerufen 12. Juli 2022.
  11. ^ a b c Lamport, Leslie (2006-12-19). "Meine Schriften". Abgerufen 2007-02-02.
  12. ^ Lamport, Leslie (1972). "Das analytische Cauchy -Problem mit singulären Daten". Abgerufen 2007-02-02.
  13. ^ Neiger, Gil (2003-01-23). "PODC Influential Paper Award: 2000". Archiviert von das Original Am 2013-09-12. Abgerufen 2007-02-02.
  14. ^ Lamport, Leslie (1979). "So erstellen Sie einen Multiprozessor -Computer, der das Multiprocess -Programm korrekt ausführt". IEEE trans. Computer. 28 (9): 690–691. doi:10.1109/tc.1979.1675439. ISSN 0018-9340. S2CID 5679366.
  15. ^ Lamport, Leslie; Robert Shostak; Marshall Pease (Juli 1982). "Das byzantinische Generäle Problem". ACM -Transaktionen zu Programmiersprachen und Systemen. 4 (3): 382–401. Citeseerx 10.1.1.64.2312. doi:10.1145/357172.357176. S2CID 55899582. Abgerufen 2007-02-02.
  16. ^ Chandy, K. Mani; Leslie Lamport (Februar 1985). "Verteilte Schnappschüsse: Globale Zustände eines verteilten Systems bestimmen". ACM -Transaktionen auf Computersystemen. 3 (1): 63–75. Citeseerx 10.1.1.69.2561. doi:10.1145/214451.214456. S2CID 207193167. Abgerufen 2007-02-02.
  17. ^ Lamport, Leslie (Mai 1998). "Das Teilzeitparlament". ACM -Transaktionen auf Computersystemen. 16 (2): 133–169. doi:10.1145/279227.279229. S2CID 421028. Abgerufen 2007-02-02.
  18. ^ "Die meisten zitierten Artikel in Informatik". September 2006. Abgerufen 2007-10-08.
  19. ^ Lamport, Leslie. "Wie (la) Tex das Gesicht der Mathematik verändert hat" (PDF).
  20. ^ a b "Die Schriften von Leslie Lamport". lamport.azurewebsites.net. Abgerufen 2019-07-19.
  21. ^ "Tex, Latex und AMS-Latex". 1998-12-03. Archiviert von das Original Am 1998-12-03. Abgerufen 2019-07-19.
  22. ^ Lamport, Leslie (1990-04-01). "Eine zeitliche Logik der Aktionen". Abgerufen 2007-02-02.
  23. ^ Lamport, Leslie (Mai 1994). "Die zeitliche Logik der Aktionen". ACM -Transaktionen zu Programmiersprachen und Systemen. 16 (3): 872–923. doi:10.1145/177492.177726. S2CID 5498471. Abgerufen 2007-02-02.
  24. ^ Lamport, Leslie (2002). Systeme angeben: die TLA+ Sprache und Tools für Hardware- und Software -Ingenieure. Addison-Wesley. ISBN 978-0-321-14306-8. Abgerufen 2007-02-02.
  25. ^ "Die internationale Konferenz über zuverlässige Systeme und Netzwerke Keynote -Sprecher -Biographie". Archiviert von das Original Am 2019-02-12. Abgerufen 2021-07-05.
  26. ^ "Turing Award 2013". ACM.
  27. ^ Leslie Lamport ACM Fellows 2014
  28. ^ "IEEE Emanuel R. Piore Preisträger ES" (PDF). IEEE. Archiviert von das Original (PDF) Am 2010-11-24. Abgerufen 2010-12-31.
  29. ^ Pease, Marshall; Robert Shostak; Leslie Lamport (April 1980). "Erreichen der Vereinbarung in Anwesenheit von Fehlern". Journal of the Association for Computing Machinery. 27 (2): 228–234. Citeseerx 10.1.1.68.4044. doi:10.1145/322186.322188. S2CID 6429068. Abgerufen 2007-02-02.
  30. ^ "Edsger W. Dijkstra Preis in verteiltem Computer: 2005". Abgerufen 2007-02-02.
  31. ^ "PODC 2001: Lamport Lecture Series". Abgerufen 2009-07-02.
  32. ^ "IEEE John von Neumann -Medaillenempfänger" (PDF). IEEE. Abgerufen 31. Dezember, 2010.
  33. ^ Mitglieder und ausländische Mitarbeiter gewählt Archiviert 7. Mai 2011 bei der Wayback -Maschine, National Academy of Sciences, 3. Mai 2011.

Externe Links

  • Zitate zu Leslie Lamport bei Wikiquote