Bölüm

Leslie Lamport ACM 2014 A.M. Turing Ödülü Sahibi

Kısa süre önce Microsoft Research'te baş araştırmacı ve 2013 Turing Ödülü sahibi Leslie Lamport ile birlikte bilgisayar bilimi üzerindeki çalışmalarının etkisi, mevcut tutkuları ve matematik sevgisi hakkında konuştuk.