Leslie Lamport
Data urodzenia | 1941 | ||
---|---|---|---|
Zawód, zajęcie | informatyk | ||
Narodowość | amerykańska | ||
| |||
Strona internetowa |
Leslie Lamport (ur. 1941) – amerykański informatyk.
Kariera naukowa:
- 1960 – B.S. (Bachelor's degree) z matematyki na Massachusetts Institute of Technology
- 1963 – M.A. (Master's degree) również z matematyki na Brandeis University
- 1972 – Ph.D. (Doctor of Philosophy)
Dziedziny w których dokonał znaczącego wkładu:
- systemy rozproszone
- logika temporalna
Wkład w dziedzinę systemy rozproszone obejmuje m.in.:
- Algorytm Paxos
- Problem Bizantyjskich Generałów
Ponadto jest znany jako twórca i propagator systemu składu tekstu LaTeX.
Obecnie pracuje dla Microsoft Research.
- p
- d
- e
Laureaci Nagrody Turinga
- p
- d
- e
Laureaci Medalu Johna von Neumanna
XX wiek |
|
---|---|
XXI wiek |
|
Kontrola autorytatywna (osoba):
- Britannica: biography/Leslie-Lamport
Identyfikatory zewnętrzne:
- Scopus: 7005489216