Episodio

Leslie Lamport ACM 2014 A.M. Turing Award Winner

Recentemente mi sono seduto con Leslie Lamport, ricercatore principale di Microsoft Research e vincitore del Turing Award 2013 per parlare dell'impatto del suo lavoro su informatica, le sue attuali passioni e il suo amore per la matematica.