Bölüm

Leslie Lamport Seçildi: 2013 ACM A.M. Turing Ödülü Sahibi

Microsoft Research'ün üyesi Leslie Lamport, 2013 ACM A.M. Turing Ödülü ile bilgisayar bilimine yaptığı üstün katkılardan dolayı ödüllendirildi. Lamport, hataya dayanıklı dağıtılmış sistemleri uygulamak için Paxos algoritmasının oluşturulması da dahil olmak üzere dağıtılmış bilgi işlemdeki temel çalışmaları için dünyanın dört bir yanındaki bilgisayar bilimcileri tarafından iyi bilinmektedir. 1978'de yaptığı Time, Clocks ve The Ordering of Events in a Distributed System (Dağıtılmış Sistemde Olayların Sıralanması) adlı makalesi, bilgisayar bilimi tarihinde en çok alıntı yapılanlardan biridir. Lamport'un muazzam katkıları bugün dünyanın dört bir yanında kullanılan bilgisayar sistemlerinin doğruluğu, performansı ve güvenilirliğinin artmasına neden oldu.