'''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>{{Cite book|last=Lamport|first=Leslie|year=1986|url=https://archive.org/details/latex00lesl|title=LaTeX: A Document Preparation System|publisher=Addison-Wesley|isbn=978-0-201-15790-1|access-date=2019-06-20|url-access=registration}}</ref>
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>
