Episodio

Leslie Lamport ACM 2014 A.M. Turing Award Winner

Recientemente me senté con Leslie Lamport, investigador principal de Microsoft Research y 2013 Turing Award ganador para hablar sobre el impacto de su trabajo en la informática, sus pasiones actuales y su amor por las matemáticas.