Leslie Lamport

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Leslie Lamport
Leslie Lamport.jpg
Doğum 7 Şubat 1941 (1941-02-07) (78 yaşında)
New York, ABD
Dalı Bilgisayar bilimi
Öğrenim Massachusetts Teknoloji Enstitüsü (lisans)
Brandeis Üniversitesi (doktora)
Doktora hocası Richard Palais[1]
Önemli başarıları LaTeX
Paxos algoritması
Aldığı ödüller IEEE John von Neumann Madalyası (2008)
Turing Ödülü (2013)

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.[2] 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.[3] 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.[4]

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ Mathematics Genealogy Project'te Leslie Lamport
  2. ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Erişim tarihi: 24 Kasım 2017. 
  3. ^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM. 
  4. ^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM . 21 (7), s. 558-565. doi:10.1145/359545.359563.