Leslie Lamport

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.