LampsonFest – Thank You Butler

February 24, 2014
Leslie Lamport | MSR Silicon Valley

Leslie Lamport – Thank You Butler

- Jeff Running
- Leslie Lamport
  
  Emeritus Researcher
Research Lab
- Microsoft Research Lab - New England

Watch Next

KDD '25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection
January 8, 2026
Sumit Gulwani
Inside Microsoft Research Asia: Fundamental research powering the future of AI
December 16, 2025
Peng Cheng,

Baining Guo,

Changho Hwang

, et. al.
Data Formulator: Vibe with your data, in control
December 9, 2025
Karen Easterbrook,

Chenglong Wang
Accelerating MRI image reconstruction with Tyger
December 9, 2025
Karen Easterbrook,

Ilyana Rosenberg
Tool-space Interference: An emerging problem for LLM agents
December 9, 2025
Karen Easterbrook,

Tyler Payne
Publicly-verifiable elections
December 9, 2025
Karen Easterbrook,

Josh Benaloh
A brain-inspired agentic architecture to improve planning with LLMs
December 9, 2025
Karen Easterbrook,

Ida Momennejad
From Microfarms to the Moon: A Teen Innovator’s Journey in Robotics
December 9, 2025
Pranav Kumar Redlapalli
Anaximander: Interactive Orchestration and Evaluation of Geospatial Foundation Models
December 9, 2025
Satej Soman
Leveraging Loanword Constraints for Improving Machine Translation in Low-resource Settings
November 25, 2025
Felermino Ali