Leslie Lamport
Leslie Lamport | |
---|---|
![]() | |
Almamater |
|
Dikenal atas |
|
Penghargaan |
|
Karier ilmiah | |
Bidang | Computer science |
Institusi |
|
Disertasi | (1972) |
Situs web | lamport |
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]
Kehidupan awal dan pendidikan
Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (Née Lasser).[8] Ayahnya adalah seorang imigran dari Volkovisk di Kekaisaran Rusia (sekarang Vawkavysk, Belarusia)[9] dan ibunya adalah seorang imigran dari Kekaisaran Austro-Hungaria, sekarang Polandia tenggara.
Lulusan Bronx High School of Science, Lamport menerima gelar BS dalam matematika dari Institut Teknologi Massachusetts pada tahun 1960, diikuti oleh MA (1963) dan Ph.D. (1972) gelar di bidang matematika dari Universitas Brandeis.[10] Disertasinya tentang singularitas dalam persamaan diferensial parsial analitik.[11]
Referensi
- ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System
. Addison-Wesley. ISBN 978-0-201-15790-1. Diakses tanggal 2019-06-20.
- ^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM.
- ^ Templat:ACMPortal
- ^ 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.
- ^ Daftar publikasi dari Microsoft Academic Search
- ^ 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.
- ^ 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.
- ^ "1950 United States Federal Census". Ancestry.com. Diakses tanggal 12 July 2022.
- ^ "World War I draft card for Benjamin Lamport". Ancestry.com. Diakses tanggal 12 July 2022.
- ^ Lamport, Leslie (2006-12-19). "My Writings". Diakses tanggal 2007-02-02.
- ^ Lamport, Leslie (1972). "The Analytic Cauchy Problem with Singular Data". Diakses tanggal 2007-02-02.