Lihat sumber Leslie Lamport

[[File:Leslie_Lamport.jpg|thumb|right|280px|Leslie Lamport]]

'''Leslie B. Lamport''' (lahir 7 Februari 1941 di [[Brooklyn]]) adalah seorang [[ilmuwan komputer]] dan [[matematikawan]] Amerika. Lamport terkenal karena karya seminalnya dalam [[Komputasi terdistribusi|sistem terdistribusi]], dan sebagai pengembang awal sistem persiapan dokumen [[LaTeX]] dan penulis manual pertamanya.<ref>Leslie Lamport. ''LaTeX: A Document Preparation System''. Addison-Wesley. 1986. ISBN 978-0-201-15790-1.</ref>

Lamport adalah pemenang [[Penghargaan Turing]] 2013<ref>Leslie Lamport. [https://amturing.acm.org/award_winners/lamport_1205376.cfm Leslie Lamport - A.M. Turing Award Winner]. ACM. 2013.</ref> 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 [[Bahasa formal|pemodelan formal]] dan protokol verifikasi yang meningkatkan kualitas sistem terdistribusi nyata. Kontribusi ini telah menghasilkan peningkatan kebenaran, kinerja, dan keandalan sistem komputer.<ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>L. Lamport. [http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf Time, clocks, and the ordering of events in a distributed system]. ''Communications of the ACM''. 1978. Vol. 21 (7). hlm. 558–565. doi:10.1145/359545.359563.</ref><ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>N. Savage. ''General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 22–23. doi:10.1145/2601076.</ref><ref>L. Hoffmann. ''Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 112–ff. doi:10.1145/2601077.</ref>

== Kehidupan awal dan pendidikan ==
Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (Née Lasser).<ref>[https://www.ancestry.com/sharing/29423677?h=e279f6 1950 United States Federal Census]. Ancestry.com.</ref> Ayahnya adalah seorang imigran dari Volkovisk di [[Kekaisaran Rusia]] (sekarang [[Vawkavysk]], [[Belarusia]])<ref>[https://www.ancestry.com/sharing/29423768?h=47dd82 World War I draft card for Benjamin Lamport]. Ancestry.com.</ref> dan ibunya adalah seorang imigran dari [[Austria-Hungaria|Kekaisaran Austro-Hungaria]], sekarang Polandia tenggara.

Lulusan [[Sekolah Tinggi Sains Bronx|Bronx High School of Science]], Lamport menerima gelar [[Sarjana|BS]] dalam [[matematika]] dari [[Institut Teknologi Massachusetts]] pada tahun 1960, diikuti oleh [[Magister|MA]] (1963) dan [[Doktor Filsafat|Ph.D.]] (1972) gelar di bidang matematika dari [[Universitas Brandeis]].<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html My Writings]. 2006-12-19.</ref> Disertasinya tentang singularitas dalam [[persamaan diferensial parsial]] analitik.<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html#thesis The Analytic Cauchy Problem with Singular Data]. 1972.</ref>

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 Wikipedia bahasa Indonesia], revisi 29299416 (2026-05-31T21:53:26Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->