Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
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]
Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (Nee 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]
- ^
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
.