A Conversation with Turing Award Winner Leslie Lamport
Larry Larsen from Channel 9 recently sat down with Leslie Lamport, principal researcher at Microsoft Research and 2013 Turing Award winner to talk about the impact of his work on computer science, his current passions, and his love of mathematics.
http://research.microsoft.com
Видео A Conversation with Turing Award Winner Leslie Lamport канала Microsoft Research
http://research.microsoft.com
Видео A Conversation with Turing Award Winner Leslie Lamport канала Microsoft Research
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Leslie Lamport: Thinking Above the Code
Barbara Liskov, 2008 ACM Turing Award Recipient
Virtual HLF 2020 – Dialogue: Sir C. Antony R. Hoare/Leslie Lamport
Don Knuth ,1974 ACM Turing Award Recipient - Part 1
Billionaire Mathematician - Numberphile
Michael Stonebraker | Big Data is (at least) Four Different Problems
Turing's Enigma Problem (Part 1) - Computerphile
Turing Award goes to Canadian researchers who taught AI to learn like humans
Oral History of Leslie Lamport - Part 1
Ron Pressler - The Practice and Theory of TLA+
Stanford Seminar - Programing Should Be More Than Coding
What's the difference between programming and coding - Leslie Lamport @ HLF 2019
Tony Hoare, 1980 ACM Turing Award Recipient
"One teacher even failed me in Chemistry." Tomas Lindahl, Nobel laureate in Chemistry 2015
Geoffrey Hinton: The Godfather of Deep Learning
Turing Centennial Conference: Turing, Church, Gödel, Computability, Complexity and Randomization
“Computer Science as a Major Body of Accumulated Knowledge,” at ACM Turing 50 Celebration
Silvio Micali, 2012 ACM A.M. Turing Award Recipient
The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Leslie Lamport
What is Computation -- Dr. Leslie Lamport, Microsoft