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