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 

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
Kategori:Dağıtık hesaplama araştırmacıları
Kategori:Ulusal Bilimler Akademisi üyeleri
Kategori:Dijkstra Ö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