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 October 7, 2024
Simplifying secure decision tree training; Improving accuracy of audio content detection; A novel neurosymbolic system for converting text to tables; New video series: AI for Business Transformation; TEE security protections for container workloads.
Group
Intelligent Networked Systems (INS)
We are a systems and networking research group at Microsoft Research. We do research in multiple areas of networking, security, systems, and AI. We build working systems, engage with academia, publish scientific papers, publish software…
Tool
AutoVerus
Automatically synthesize proof annotations that help Verus prove the correctness of Rust code.
Microsoft Research Blog
Research Focus: Week of September 23, 2024
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. Time-series forecasting is a technique used to predict…
Career Opportunity
Research Intern for Systems Research Group
Number of Openings: 2-4 Location: Beijing/Shanghai Group Introduction: The Systems Research Group (SRG) at Microsoft Research Asia is dedicated to conducting foundational and applied research in the field of computer systems. The SRG team focuses…