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 Asia
Event
- Computing in the 21st Century 2015

Watch Next

Assisted Algorithms
October 19, 2026
Yuri Gurevich,

Nikolaj Bjørner
Aegon: Self-Auditable Key Transparency
October 19, 2026
Hossein Hafezi,

Kim Laine
Breaking the Language Barrier — How AI Speech Translation Is Rewriting Our Digital Lives
October 16, 2026
Jinyu Li
KITE: a Kinesthetic Interface for Tangible Exploration
October 16, 2026
Elizabeth Childs,

Sumit Basu,

Scott Saponas
Scalable Training of Diffusion Samplers via Fixed-point Score Matching
October 13, 2026
Denis Blessing
AI World Models for Memory, Meaning, and Human Futures
October 12, 2026
Juwon Jung
Convergence Analysis for Fast High-Order ODE Solvers in Diffusion Probabilistic Models
July 7, 2026
Zhengjiang Lin
Project Gecko Story
June 29, 2026
Jacki O'Neill,

Stephanie Nyairo,

Najeeb G. Abdulhamid

, et. al.
Microsoft Research India 2025 Highlights
December 31, 2025
Using Optimization and LLMs to Enhance Cloud Supply Chain Operations
December 2, 2024
Beibin Li,

Konstantina Mellou,

Ishai Menache

, et. al.

Your Privacy Choices