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.[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]

Leslie Lamport
Doğum 7 Şubat 1941 (1941-02-07)
New York, ABD
Eğitim Massachusetts Teknoloji Enstitüsü (lisans)
Brandeis Üniversitesi (doktora)
Ödüller IEEE John von Neumann Madalyası (2008)
Turing Ödülü (2013)
Kariyeri
Dalı Bilgisayar bilimi
Doktora
danışmanı
Richard Palais[1]

Kaynakça

  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 (PDF) arşivlendi. Erişim tarihi: 24 Kasım 2017.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.