A Mathematical View of Computer Systems

November 6, 2015
Leslie Lamport
Computing in the 21st Century 2015

Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.

- Chengyun Qiu
Research Area
- Mathematics
Research Lab
- Microsoft Research Lab - Asia
Event
- Computing in the 21st Century 2015

Watch Next

Efficient Homomorphic Integer Computer from CKKS
February 4, 2026
Patrick Longa,

Jaehyung Kim
Fuzzy Extractors are Practical
January 21, 2026
Melissa Chase,

Amey Shukla
Rick Rashid & Founding Microsoft Research
January 13, 2026
Rick Rashid
KDD '25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection
January 8, 2026
Sumit Gulwani
Microsoft Research India 2025 Highlights
December 31, 2025
Inside Microsoft Research Asia: Fundamental research powering the future of AI
December 16, 2025
Peng Cheng,

Baining Guo,

Changho Hwang

, et. al.
AI and productivity: A year-in-review with Microsoft, Google, and GitHub researchers
December 9, 2025
Brian Houck
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
Using Optimization and LLMs to Enhance Cloud Supply Chain Operations
December 2, 2024
Beibin Li,

Konstantina Mellou,

Ishai Menache

, et. al.