Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
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…
Microsoft Research Blog
Research Focus: Week of April 10, 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. To improve the utilization of computing resources, cloud…
