Tolong jelaskan mengenai 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.

Lamport adalah pemenang Penghargaan Turing 2013 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.