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

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
Leveraging Loanword Constraints for Improving Machine Translation in Low-resource Settings
November 25, 2025
Felermino Ali
Inside Azure Innovations with Mark Russinovich | Microsoft Ignite 2025
November 19, 2025
Mark Russinovich
Inside Azure innovations with Mark Russinovich | Microsoft Build 2025
May 20, 2025
Mark Russinovich
Using Optimization and LLMs to Enhance Cloud Supply Chain Operations
December 2, 2024
Beibin Li,

Konstantina Mellou,

Ishai Menache

, et. al.