Leslie Lamport

Leslie Lamport
Almamater	Massachusetts Institute of Technology (BS) Brandeis University (MA, PhD)
Dikenal atas	LaTeX Hash chain (S/KEY) Sequential consistency Lamport's bakery algorithm Byzantine fault tolerance Paxos algorithm Lamport signature Temporal logic of actions TLA+
Penghargaan	Dijkstra Prize (2000, 2005, and 2014) IEEE Emanuel R. Piore Award (2004) IEEE John von Neumann Medal (2008) Turing Award (2013) Member of the National Academy of Sciences (2011) ACM Fellow (2014)
Karier ilmiah
Bidang	Computer science
Institusi	Microsoft Research Compaq Digital Equipment Corporation SRI International
Disertasi	(1972)
Situs web	lamport.org

Leslie B. Lamport (lahir 7 Februari 1941 di Brooklyn) adalah seorang ilmuwan komputer dan matematikawan Amerika. Lamport terkenal karena karya seminalnya dalam sistem terdistribusi, dan sebagai pengembang awal sistem persiapan dokumen LaTeX dan penulis manual pertamanya.^[1]

Lamport adalah pemenang Penghargaan Turing 2013^[2] karena memaksakan koherensi yang jelas dan terdefinisi dengan baik pada perilaku yang tampaknya kacau dari sistem komputasi terdistribusi, di mana beberapa komputer otonom berkomunikasi satu sama lain dengan mengirimkan pesan. Dia menyusun algoritma penting dan mengembangkan pemodelan formal dan protokol verifikasi yang meningkatkan kualitas sistem terdistribusi nyata. Kontribusi ini telah menghasilkan peningkatan kebenaran, kinerja, dan keandalan sistem komputer.^{[3][4][5][6][7]}

1. ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 978-0-201-15790-1. Diakses tanggal 2019-06-20. 
2. ^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM. 
3. ^ Laman profil penulis Leslie Lamport di Perpustakaan Digital ACM
4. ^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM . 21 (7): 558–565. doi:10.1145/359545.359563. 
5. ^ Daftar publikasi dari Microsoft Academic Search
6. ^ Savage, N. (2014). "General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended". Communications of the ACM. 57 (6): 22–23. doi:10.1145/2601076. 
7. ^ Hoffmann, L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM. 57 (6): 112–ff. doi:10.1145/2601077.