Microsoft Research Lab – Redmond
News & features
New Future of Work: How remote and hybrid work will shape workplaces and society with Jaime Teevan and Siddharth Suri
In this episode of The New Future of Work series, Chief Scientist Jaime Teevan and Senior Principal Researcher Siddharth Suri explore the many ways people were impacted by work shifts during the COVID-19 pandemic. They talk about how race, gender, income, and other factors are indicative of how…
Safe program merges at scale: A grand challenge for program repair research
| Shuvendu Lahiri
Since the computing world began embracing an open-source approach to programming, building software has become increasingly collaborative. Members of development teams with as few as two developers and as many as thousands are simultaneously editing different components in creating software…
In the news | Analytics India Magazine
Top 10 AI Innovations Of 2021 So Far
Listed as one of the top 10 AI innovations of 2021 by Analytics India Magazine, Microsoft’s FLAML is a python package that can tell us the best-fit ML model for low computation. It helps eliminate the manual process of choosing…
New Future of Work: Redefining workspaces as hybrid and remote work become more prevalent with Jaime Teevan and Ginger Hudson
In this episode of The New Future of Work series, Chief Scientist Jaime Teevan and Principal User Research Manager Ginger Hudson share how people evolved their home office setups throughout the COVID-19 pandemic, and they explore how information workers used…
New Future of Work: Managing IT and security in remote scenarios with Jaime Teevan and Matt Brodsky
In this episode of the podcast, Chief Scientist Jaime Teevan and Senior User Research Manager Matt Brodsky examine how the level of IT support available during the shift, including the ability to provide hardware and software, made the difference between laying…
In the news | Quanta Magazine
Proof Assistant Makes Jump to Big-League Math
Computer proof assistants have been an intriguing subplot in mathematics for years — promising to automate core aspects of the way mathematicians work, but in practice having little effect on the field. But a new result, completed in early June,…
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. In this nomination, CAV proposed to recognize contributors whose pioneering works laid the groundwork for the theory and practice of SMT. …
Project Arno: How Microsoft Research created the technology and industry momentum for Azure to empower telecom operators in the cloud
| Yongguang Zhang and Bozidar Radunovic
Editor’s note: In recent years, telecommunications operators have faced a growing challenge to meet surging global demand for immersive online services and collaboration tools. Upgrading their proprietary networks to prepare for 5G and beyond would require major capital expenditures, even…
In the news | Microsoft Azure Blog
How cloud computing can improve 5G wireless networks
A great deal has been written about the technologies fueling 5G, especially how those technologies will improve the experience that users have regarding connectivity. Similarly, much has been said about how ongoing developments in technology will usher in a new…