Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Video
Microsoft Azure Overview
This video provides a comprehensive but brief overview of Microsoft Azure for research scientists. You will learn cloud computing basics, patterns and terminology, and the fundamentals of Microsoft Azure itself, including virtual machines, web sites,…
Microsoft Research Blog
Finding More Space in Spectrum
Radio and TV channels, mobile communications, GPS, and emergency communications are just a few examples of applications that occupy the airwaves. The radio spectrum is a finite resource, but demand for bandwidth is accelerating. As…
Video
Making the most of white spaces and the unused spectrum
When researchers such as Ranveer Chandra get creative with wireless protocols, it’s possible to reuse unoccupied spectrum, give Xbox games an edge, let mobile devices run longer, or provide Internet access to impoverished rural areas.
Event
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Opens in a new tab
Publication
I am a Smartphone and I Know My User is Driving
Group
Azure Research – Systems
Cloud and AI systems innovation at the core of Azure Azure Research – Systems is a research group in Azure Core that brings forward-looking, world-class systems research directly into Azure. The group was seeded from…