Leslie Lamport
Autor von Das LaTeX-Handbuch .
Über den Autor
Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his mehr anzeigen Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering weniger anzeigen
Bildnachweis: Taken from http://commons.wikimedia.org/wiki/File:Leslie_Lamport.jpg where further information may be obtained, including an e-mail by Leslie Lamport authorizing irrestricted use of the picture.
Werke von Leslie Lamport
Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers (2002) 35 Exemplare
The Temporal Logic of Actions 1 Exemplar
Zugehörige Werke
Getagged
Wissenswertes
- Geburtstag
- 1941-02-07
- Geschlecht
- male
- Nationalität
- USA
- Wohnorte
- New York, New York, USA
- Ausbildung
- Bronx High School of Science, New York City, New York, USA
Massachusetts Institute of Technology (BS|Mathematics|1960)
Brandeis University (MA|Mathematics|1963)
Brandeis University (PhD|Mathematics|1972) - Berufe
- computer scientist (Massachusetts Computer Associates)
computer scientist (SRI International)
computer scientist (Digital Equipment Corporation)
computer scientist (Compaq)
computer scientist (Microsoft Research) - Organisationen
- IEEE
Microsoft Corporation
National Academy of Sciences
National Academy of Engineering - Preise und Auszeichnungen
- Honorary Doctorate (University of Rennes, 2003)
Honorary Doctorate (Christian Albrechts University of Kiel, 2003)
Honorary Doctorate (EPFL, 2004)
Honorary Doctorate (University of Lugano, 2006)
IEEE Emanuel R. Piore Award (2004)
Dijkstra Prize (2005) (Zeige alle 9)
John von Neumann Medal (2008)
Honorary Doctorate (Nancy-Université, 2007)
Turing Award (2013)
Mitglieder
Rezensionen
Dir gefällt vielleicht auch
Statistikseite
- Werke
- 4
- Auch von
- 1
- Mitglieder
- 720
- Beliebtheit
- #35,254
- Bewertung
- 3.9
- Rezensionen
- 1
- ISBNs
- 12
- Sprachen
- 4