Microsoft Research Lab – Redmond
News & features
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…
Awards | ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Christian Bird, Brendan Murphy receive the Test of Time Award for ESEC/FSE 2021
Christian Bird, Brendan Murphy received the Test of Time Award for ESEC/FSE 2021 for their 2011 paper, Don’t Touch My Code! Examining the Effects of Ownership on Software Quality. The Test of Time Award is given annually recognizing highly influential…
New Future of Work: How developer collaboration and productivity are changing in a hybrid work model
In this episode of The New Future of Work series, Chief Scientist Jaime Teevan and Principal Productivity Engineer Brian Houck discuss what the massive shift to remote work meant for developers—both employees of Microsoft and customers using Microsoft developer platforms…
CausalCity: Introducing a high-fidelity simulation with agency for advancing causal reasoning in machine learning
| Daniel McDuff, Yale Song, Sai Vemprala, Vibhav Vineet, Shuang Ma, and Ashish Kapoor
The ability to reason about causality, and ask “what would happen if…?’’ is one property that sets human intelligence apart from artificial intelligence. Modern AI algorithms perform well on clearly defined pattern recognition tasks but fall short generalizing in the…
Awards | PLDI 2021 Conference
Ben Zorn awarded SIGPLAN Distinguished Service Award 2021
Ben Zorn was honored with the SIGPLAN Distinguished Service Award 2021 having served the programming language community for many years and in many capacities. He also has mentored many of his work colleagues and visiting students/professors at Microsoft Research, who…
In the news | BigThink
Will AI replace mathematicians?
If computers can beat us at chess, maybe they could beat us at math, too. Most everyone fears that they will be replaced by robots or AI someday. A field like mathematics, which is governed solely by rules that computers…