Leslie Lamport

Vikipedi, özgür ansiklopedi
Leslie Lamport
Doğum7 Şubat 1941 (83 yaşında)
New York, ABD
EğitimMassachusetts Teknoloji Enstitüsü (lisans)
Brandeis Üniversitesi (doktora)
ÖdüllerIEEE John von Neumann Madalyası (2008)
Turing Ödülü (2013)
Kariyeri
DalıBilgisayar bilimi
Doktora
danışmanı
Richard Palais[1]

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. 16 Ağustos 2007 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017. 
  3. ^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM. 16 Ocak 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017. 
  4. ^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. 21 (7). ss. 558-565. doi:10.1145/359545.359563. 31 Ekim 2008 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 24 Kasım 2017.