Leslie Lamport: Perbedaan antara revisi

{{Infobox scientist
| alma_mater = {{Plainlist|

* [[Brandeis University]] ([[M.A.|MA]], [[PhD]])}}
| thesis_url = https://search.proquest.com/docview/288284622
| thesis_year = 1972
| doctoral_students =
| known_for = {{Plainlist|

* [[TLA+]]}}
| website = {{URL|lamport.org}}
| ethnicity =
| field = [[Computer science]]
| work_institution = {{Plainlist|

* [[SRI International]]}}
| author_abbreviation_bot =
| author_abbreviation_zoo =
| prizes = {{Plainlist|

* [[ACM Fellow]] <small>(2014)</small>}}
| religion =}}

Lamport adalah pemenang [[Penghargaan Turing]] 2013 <ref>{{Cite news|last=Lamport|first=Leslie|year=2013|title=Leslie Lamport - A.M. Turing Award Winner|url=https://amturing.acm.org/award_winners/lamport_1205376.cfm|publisher=ACM}}</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 name="acm">{{ACMPortal|id=81100244989}}</ref> <ref name="timeclocks">{{Cite journal|last=Lamport|first=L.|year=1978|title=Time, clocks, and the ordering of events in a distributed system|url=http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf|journal=[[Communications of the ACM ]]|volume=21|issue=7|pages=558–565|doi=10.1145/359545.359563}}</ref><ref name="microsoft">{{AcademicSearch|1817419}}</ref> <ref>{{Cite journal|last=Savage|first=N.|year=2014|title=General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended|journal=Communications of the ACM|volume=57|issue=6|pages=22–23|doi=10.1145/2601076}}</ref> <ref>{{Cite journal|last=Hoffmann|first=L.|year=2014|title=Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems|journal=Communications of the ACM|volume=57|issue=6|pages=112–ff|doi=10.1145/2601077}}</ref>

Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (néeNée Lasser). <ref>{{Cite web|title=1950 United States Federal Census|url=https://www.ancestry.com/sharing/29423677?h=e279f6|publisher=Ancestry.com|access-date=12 July 2022}}</ref> Ayahnya adalah seorang imigran dari Volkovisk di [[Kekaisaran Rusia]] (sekarang [[Vawkavysk]], [[Belarus|Belarusia]] ) <ref>{{Cite web|title=World War I draft card for Benjamin Lamport|url=https://www.ancestry.com/sharing/29423768?h=47dd82|publisher=Ancestry.com|access-date=12 July 2022}}</ref> dan ibunya adalah seorang imigran dari [[Austria-HongariaHungaria|Kekaisaran Austro-HongariaHungaria]], 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 name="lamport-writings">{{Cite web|last=Lamport|first=Leslie|date=2006-12-19|title=My Writings|url=https://research.microsoft.com/users/lamport/pubs/pubs.html|access-date=2007-02-02}}</ref> Disertasinya tentang singularitas dalam [[persamaan diferensial parsial]] analitik. <ref>{{Cite web|last=Lamport|first=Leslie|year=1972|title=The Analytic Cauchy Problem with Singular Data|url=https://research.microsoft.com/users/lamport/pubs/pubs.html#thesis|access-date=2007-02-02}}</ref>