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

AI, Radio Astronomy, and the Search for Life Beyond Earth
August 20, 2026
Ramiro Caisse Saide
Binomial Flows: Denoising and flow matching for discrete ordinal data
August 18, 2026
Yair Shenfeld
Haechi: Simple Commitment-based Keyless In-person Verifiable Elections
July 23, 2026
Josh Benaloh,

Jiwon Kim
Analyzing Group Chat Encryption in Messaging Applications
July 20, 2026
Akshaya Kumar,

Melissa Chase
Invited Research Talk: Measuring Generalization in EEG Foundation Models
July 20, 2026
Aditya Kommineni,

Dimitra Emmanouilidou
TruthTable: A Verifiable Query Engine
July 9, 2026
Bharath Namboothiry,

Kim Laine
Convergence Analysis for Fast High-Order ODE Solvers in Diffusion Probabilistic Models
July 7, 2026
Zhengjiang Lin
Vibhasha Playbook Walkthrough
February 5, 2026
Prashant Kodali
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