Lompat ke isi

Leslie Lamport: Perbedaan antara revisi

Ensiklopedia Pengetahuan Universitas Islam Sultan Agung
← Revisi sebelumnya

Maintenance script (bicara | kontrib)

37.956 suntingan
Maintenance script (bicara | kontrib)
37.956 suntingan
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi
Maintenance script (bicara | kontrib)
37.956 suntingan
Pembersihan konten sesuai kebijakan Wiki Unissula
 
Baris 5: Baris 5:
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>
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>
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>

Revisi terkini sejak 9 September 2026 06.24

Leslie 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]


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.[8] Disertasinya tentang singularitas dalam persamaan diferensial parsial analitik.[9]

Referensi

  1. ↑ Leslie Lamport. LaTeX: A Document Preparation System. Addison-Wesley. 1986. ISBN 978-0-201-15790-1.
  2. ↑ Leslie Lamport. Leslie Lamport - A.M. Turing Award Winner. ACM. 2013.
  3. ↑ sumber pada Wikipedia bahasa Indonesia
  4. ↑ L. Lamport. 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.
  5. ↑ sumber pada Wikipedia bahasa Indonesia
  6. ↑ 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.
  7. ↑ 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.
  8. ↑ Leslie Lamport. My Writings. 2006-12-19.
  9. ↑ Leslie Lamport. The Analytic Cauchy Problem with Singular Data. 1972.

Sumber dan atribusi

Konten artikel ini diadaptasi dari 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.


Diperoleh dari "https://wiki.unissula.ac.id/index.php?title=Leslie_Lamport&oldid=36931"