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

Microsoft AI for Good Lab - Introduction to HASTE
July 17, 2026
Juan M. Lavista Ferres,

Caleb Robinson,

Cameron Birge

, et. al.
Learning Genetic Perturbation Effects at Single-Cell Resolution for Virtual Cells
July 14, 2026
Jiaqi Zhang
Convergence Analysis for Fast High-Order ODE Solvers in Diffusion Probabilistic Models
July 7, 2026
Zhengjiang Lin
Reinforce Adjoint Matching: Scaling Diffusion RL
June 30, 2026
Andreas Bergmeister
Session on Retrieval
June 9, 2026
Lokesh Nagalapatti,

Soumen Chakrabarti
Session on Inclusive AI: Data, Models, Evaluation
June 9, 2026
Niloy Ganguly,

Danish Pruthi,

Sunayana Sitaram

, et. al.
Plenary Talk 1: Navigating the AI Horizon: Promises, Perils, and the Power of Collaboration
June 9, 2026
Ece Kamar,

Srinivasan Iyengar
Welcome Session - Microsoft Research India Academic Summit 2026
June 9, 2026
Venkat Padmanabhan,

Srinivasan Iyengar
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