Episode

Leslie Lamport ACM 2014 A.M. Turing Award Gewinner

Ich habe mich kürzlich mit Leslie Lamport, Hauptforscherin bei Microsoft Research und 2013 Turing Award-Gewinner, um über die Auswirkungen seiner Arbeit auf Informatik, seine aktuellen Leidenschaften und seine Liebe zur Mathematik zu sprechen.