Microsoft Research Lab – Redmond
News & features
Neural-Guided Deductive Search: A best of both worlds approach to program synthesis
| Alex Polozov
Program synthesis — automatically generating a program that satisfies a given specification — is a major challenge in AI. In addition to changing the way we design software, it has the potential to revolutionize task automation. End users without programming…
In the news | CNET
Microsoft Windows 10 April 2018 Update aims to shield us from notifications
Notifications are both one of the most revolutionary inventions of the mobile age, and one of the most hated features on our devices. The little nudges typically appear as a number sitting atop an app’s icon or a text alert…
In the news | Windows Blog
Make the most of your time with the new Windows 10 update
We all get the same 24 hours. And now, more than ever, it seems like it’s never enough. People feel more overwhelmed than ever before and pretty much all of us would love more time – not necessarily time to…
In the news | USA Today
Microsoft’s Windows 10 tries to stop pointless multi-tasking
How do you freshen up a venerable operating system like Windows 10, and get you to care, especially when you release an update to the software as frequently as every six months or so?
Measuring employment demand with internet search data
| Scott Counts and Justin Cranshaw
The United States, along with much of the world, is in the midst of an economic transition from manual to intellectual labor. The changing nature of work, including the automation of labor, is an important issue facing society, with implications…
Getting good VIBEs from your computer with Dr. Mary Czerwinski
Episode 20, April 18, 2018 – In a world where humans are increasingly interacting with AI systems, Dr. Mary Czerwinski, Principal Researcher and Research Manager at Microsoft Research, believes emotions may be fundamental to our interactions with machines. And through…
In the news | Science News
Why touch can be such a creepy sensation in VR
There may be such a thing as ‘too realistic’ when it comes to virtual touch.
Platform for Situated Intelligence: Tools and Framework for Multimodal Interaction Research
| Dan Bohus
Over the last decade, advances in machine learning coupled with the availability of large amounts of data have led to significant progress on long-standing AI challenges. In domains like computer vision, speech recognition, machine translation and image captioning, machines have…
Tales from the Crypt(ography) Lab with Dr. Kristin Lauter
Episode 19, April 11, 2018 – Dr. Lauter tells us why she feels lucky to do math for a living, explains the singular beauty of elliptic curves and the singular difficulty of supersingular isogeny graphs, talks about how homomorphic encryption…