Episódio

Leslie Lamport ACM 2014 Vencedor do Prêmio A.M. Turing

Recentemente, conversei com Leslie Lamport, pesquisador principal da Microsoft Research e vencedor do Prêmio Turing de 2013, para falar sobre o impacto de seu trabalho na ciência da computação, suas paixões atuais e seu amor pela matemática.