Geburt |
7. Februar 1941 New York |
---|---|
Staatsangehörigkeit | amerikanisch |
Ausbildung |
Massachusetts Institute of Technology ( BSc ) Brandeis University ( Philosophiedoktor und MSc ) Bronx High School of Science |
Aktivitäten | Mathematiker , Informatiker , Programmierer , Ingenieur , Schriftsteller |
Arbeitete für | MITRE (1962- -1965) , SRI International (1977- -1985) , Digital Equipment Corporation (1985- -2001) , Microsoft Research (seit2001) |
---|---|
Bereiche | IT , verteiltes Rechnen |
Mitglied von |
Amerikanische Akademie der Künste und Wissenschaften Amerikanische Akademie der Wissenschaften (2011) |
Supervisor | Richard Palace |
Webseite | www.lamport.org |
Auszeichnungen |
Turing-Preis (2013) |
Distributed Computing , LaTeX , TLA + , zeitliche Logik von Aktionen ( d ) |
Leslie B. Lamport , geboren am7. Februar 1941in New York , ist ein Forscher in der Berechnung US , Spezialisten für algorithmische verteilt . Er wurde mit dem Turing-Preis 2013 ausgezeichnet und ist Designer der kostenlosen Dokumentenkompositionssoftware LaTeX ( 1983 ).
Er studierte Mathematik an dem Massachusetts Institute of Technology (MIT) und dann an der Brandeis University , wo er seinen erhielt Ph.D. (Promotion) in der Mathematik in 1972. Er arbeitete in Massachusetts Computern Associates 1970-1977, dann bei SRI International von 1977 bis 1985 und von 1985 bis 2001 im Systemforschungszentrum der Digital Equipment Corporation. Seit 2001 arbeitet er für Microsoft Research .
Der Backalgorithmus ist ein Algorithmus , der eine "bemerkenswert intuitive und natürliche" Lösung für das von Dijkstra formulierte Problem des gegenseitigen Ausschlusses bietet . Die von Dijkstra vorgeschlagene vorherige Lösung war eine Lösung auf hoher Ebene für ein Problem auf niedriger Ebene.
Lamport wird manchmal als der Vater des verteilten Kalküls bezeichnet . Insbesondere formulierte er 1979 die Beziehung „ Vorher passiert “ (auf Englisch „ Vorher passiert “), die es ermöglicht, eine Teilreihenfolge für Aktionen in verteilten Systemen zu erhalten. Lamport erfand auch das Uhrensystem, das seinen Namen trägt . Sie dienen zur Synchronisation verteilter Systeme. Er hat auch an einigen kryptografischen Aspekten wie Einmalkennwörtern und anderen Fragen im Zusammenhang mit Konsens und Wettbewerb in Netzwerken gearbeitet . Er interessierte sich auch für das Problem des Konsenses , insbesondere das Paxos-Protokoll .
Leslie Lamport ist jedoch außerhalb der wissenschaftlichen Gemeinschaft der IT am bekanntesten als Schöpfer von LaTeX (basierend auf TeX von Donald Knuth ), einem Dokumentenlayout-System, das insbesondere von Wissenschaftlern aus vielen Disziplinen (Informatik, Mathematik , Physik , Bioinformatik …) verwendet wird. für Dokumente mit vielen mathematischen Formeln. Seitdem wurde die Entwicklung von LaTeX von anderen durchgeführt.
Leslie Lamport hat den empfangenen Dijkstra - Preis dreimal in 2000, 2005 und 2014 und die John von Neumann - Medaille in 2008 . Er ist der Empfänger des Titels Doktor honoris causa der ausgezeichneten Universität Rennes 1 im Jahr 2003, der Christian - Albrechts - Universität zu Kiel im Jahr 2003 auch von der Eidgenössischen Technischen Hochschule Lausanne im Jahr 2004 von der Universität der italienischen Schweiz im Jahr 2006 und von der Henri Poincaré University im Jahr 2007.
Das 18. März 20142013 erhielt er den Turing-Preis für „seine grundlegenden theoretischen und angewandten Beiträge in verteilten und gleichzeitigen Systemen, insbesondere durch die Erfindung von Konzepten wie Kausalität und logischen Uhren, […] und sequentieller Kohärenz“.