Leslie Lamport
Autore di LaTeX: A Document Preparation System
Sull'Autore
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 mostra altro Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering mostra meno
Fonte dell'immagine: 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.
Opere di Leslie Lamport
The Temporal Logic of Actions 1 copia
Opere correlate
Etichette
Informazioni generali
- Data di nascita
- 1941-02-07
- Sesso
- male
- Nazionalità
- USA
- Luogo di residenza
- New York, New York, USA
- Istruzione
- 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) - Attività lavorative
- computer scientist (Massachusetts Computer Associates)
computer scientist (SRI International)
computer scientist (Digital Equipment Corporation)
computer scientist (Compaq)
computer scientist (Microsoft Research) - Organizzazioni
- IEEE
Microsoft Corporation
National Academy of Sciences
National Academy of Engineering - Premi e riconoscimenti
- 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) (mostra tutto 9)
John von Neumann Medal (2008)
Honorary Doctorate (Nancy-Université, 2007)
Turing Award (2013)
Utenti
Recensioni
Potrebbero anche piacerti
Statistiche
- Opere
- 4
- Opere correlate
- 1
- Utenti
- 718
- Popolarità
- #35,342
- Voto
- 3.9
- Recensioni
- 1
- ISBN
- 12
- Lingue
- 4