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

MindJourney: Test-Time Scaling with World Models for Spatial Reasoning
August 12, 2025
Reuben Tan
VeriTrail: Detect hallucination and trace provenance in AI workflows
August 5, 2025
Dasha Metropolitansky
Computational models for brain science
July 24, 2025
Brokoslaw Laschowski
Building Better Language Models Through Global Understanding
July 23, 2025
Dr. Marzieh Fadaee
How I became a StoryTeller (and how YOU can too)
July 21, 2025
Sumit Gulwani
VoluMe: Authentic 3D Video Calls from Live Gaussian Splat Prediction
July 11, 2025
Antonio Criminisi,

Charlie Hewitt,

Marek Kowalski (HE/HIM)
Using Optimization and LLMs to Enhance Cloud Supply Chain Operations
December 2, 2024
Beibin Li,

Konstantina Mellou,

Ishai Menache

, et. al.
Make some noise: Teaching the language of audio to an LLM using sound tokens
August 22, 2024
Shivam Mehta
Microsoft Research India - who we are.
September 15, 2023
Kalika Bali,

Sriram Rajamani,

Venkat Padmanabhan

, et. al.
Medical Bayesian Kiosk (2010)
January 1, 2010
Dan Bohus,

Eric Horvitz