Leslie Lamport

Leslie B. Lamport (d. 7 Şubat 1941), Amerikalı bilgisayar bilimcisi. Dağıtık sistemler üzerindeki çalışmalarının yanı sıra LaTeX adlı belge hazırlama uygulamasının geliştiricisi olarak tanınmıştır. Lamport, birbirleriyle sistem iletileri yoluyla haberleşen otomatik makinelerin oluşturduğu karmaşık dağıtık sistemlere getirdiği çözümlerden ötürü 2013 Turing Ödülü'ne değer görülmüştür. Biçimsel modeller konulu araştırmalarıyla da bilinen Lamport'un geliştirdiği algoritmalar bilgisayar sistemlerinin doğruluk, başarım ve güvenilirliğini artırmıştır.

Kaynakça 

1941 doğumlular
New York doğumlu bilim insanları
Yaşayan insanlar
Amerikalı bilgisayar bilimcileri
Bilgisayar bilimi yazarları
Biçimsel yöntemler kişileri
Dağıtık hesaplama araştırmacıları
Ulusal Bilimler Akademisi üyeleri
Dijkstra Ödülü sahipleri
Turing Ödülü sahipleri
Microsoft kişileri
SRI International kişileri
Brandeis Üniversitesi kişileri
Brandeis Üniversitesinde öğrenim görenler
Massachusetts Teknoloji Enstitüsünde öğrenim görenler
20. yüzyıl Amerikalı matematikçileri
21. yüzyıl Amerikalı matematikçileri
IEEE John von Neumann Madalyası sahipleri