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

Dion2: A new simple method to shrink matrix in Muon
March 3, 2026
Anson Ho,

Kwangjun Ahn
ARO: A new lens on matrix optimization for LLMs
March 3, 2026
Anson Ho,

Wenbo Gong,

Chao Ma
Lessons from deploying HealthBots with experts-in-the-loop
March 3, 2026
Anson Ho,

Mohit Jain
Teaching small language models to think like optimization experts with OptiMind
March 3, 2026
Anson Ho,

Xinzhi Zhang
Agent Lightning: One learning system that makes all agents evolve
March 3, 2026
Anson Ho,

Luna K. Qiu
CROSS — Leveraging AI ASICs for Homomorphic Encryption
February 26, 2026
Jianming Tong
Bridging Neurotechnology with Immersive Systems: Getting BCIs outside of the lab?
February 12, 2026
Hakim Si-Mohammed
Efficient Distributed Orthonormal Optimizers for Large-Scale Training
February 12, 2026
Kwangjun Ahn
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.