Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Microsoft Research Blog
Research Focus: Week of April 24, 2023
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Yael Tauman Kalai, a senior principal researcher at…
Microsoft Research Blog
TLA+ Foundation aims to bring math-based software modeling to the mainstream
TLA+ is a high level, open-source, math-based language for modeling computer programs and systems–especially concurrent and distributed ones. It comes with tools to help eliminate fundamental design errors, which are hard to find and expensive to…
