2013 Turing Award recipient Leslie Lamport describes his favourite maths t-shirt, his final remaining goal in life, and whether he prefers tabs or spaces…

Interview with Leslie Lamport of Microsoft Research. Recorded at the 2021 Heidelberg Laureate Forum.