ACM reviews the achievements of Leslie Lamport

June 23, 2014
Leslie Lamport, Microsoft

This video by the Association for Computing Machinery reviews the achievements of Leslie Lamport, recipient of the 2013 ACM A.M. Turing Award.

- Leslie Lamport
  
  Emeritus Researcher
Research Area
- Systems and networking

Watch Next

Will machines ever be intelligent?
March 23, 2026
Subutai Ahmad,

Doug Burger,

Nicolo Fusi
CROSS — Leveraging AI ASICs for Homomorphic Encryption
February 26, 2026
Jianming Tong
Efficient Distributed Orthonormal Optimizers for Large-Scale Training
February 12, 2026
Kwangjun Ahn
Microsoft Research India 2025 Highlights
December 31, 2025
Inside Azure Innovations with Mark Russinovich | Microsoft Ignite 2025
November 19, 2025
Mark Russinovich
Ultra Ethernet for next-generation AI and HPC workloads
September 8, 2025
Torsten Hoefler,

Abdul Kabbani,

Sujata Banerjee
Inside Azure innovations with Mark Russinovich | Microsoft Build 2025
May 20, 2025
Mark Russinovich
Microsoft Research India - The evolution
March 1, 2025
Venkat Padmanabhan,

P. Anandan,

Rick Rashid

, et. al.
Microsoft Research India - The lab culture
March 1, 2025
P. Anandan,

Indrani Medhi Thies,

B. Ashok

, et. al.
Storing data for thousands of years | Microsoft Project Silica
October 3, 2023
Erika Aranas,

Richard Black,

Ariel Gomez Diaz

, et. al.