Leslie Lamport - LinkFang.de





Leslie Lamport


Leslie Lamport (* 7. Februar 1941 in New York)[1] ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. 2013 erhielt er den Turing Award für seine Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme.

Leben

Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1962 bis 1965 arbeitete er in Teilzeit für die Mitre Corporation. 1963 erlangte er an der Brandeis University zunächst den MA-Abschluss (Master of Arts) und wurde 1972 bei Richard Palais in Mathematik promoviert (The Analytic Cauchy Problem with Singular Data)[2]. Lamport war 1965 bis 1969 Professor für Mathematik am Marlboro College und arbeitete 1970 bis 1977 für Massachusetts Computer Associates. 1977 bis 1985 war er bei SRI International und 1985 bis 2001 bei der Digital Equipment Corporation/Compaq (als Senior Consulting Engineer). Seit 2001 arbeitet er für Microsoft Research.

Werk

Lamport ist als Entwickler von LaTeX bekannt. In der Theoretischen Informatik hat er unter anderem in folgenden Bereichen geforscht:

Schriften

  • LATEX: a document preparation system, Addison-Wesley 1986, 2. Auflage 1994
  • Specifying systems: the TLA+ language and tools for hardware and software engineers, Addison-Wesley 2003
  • Time, Clocks and the Ordering of Events in a Distributed System: Erstmals veröffentlicht in: Communications of the ACM 21, 7 (July 1978), S. 558–565. Neu aufgelegt u.A. in Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.
  • The Writings of Leslie Lamport , kommentierte Liste der Veröffentlichungen von Leslie Lamport

Auszeichnungen

Weblinks

Einzelnachweise

  1. Lebensdaten nach American Men and Women of Science, Thomson Gale 2004
  2. Leslie Lamport im Mathematics Genealogy Project (englisch)


Kategorien: Entwickler Freier Software | Person (Microsoft) | TeX | Ehrendoktor der Christian-Albrechts-Universität zu Kiel | Turing-Preisträger | Mitglied der American Academy of Arts and Sciences | Geboren 1941 | Informatiker | US-Amerikaner | Mann

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Leslie Lamport (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.