Awards | ACM SIGCOMM

SIGCOMM Test of Time Award, 2019: "VL2: A Scalable and Flexible Data Center Network" by Albert Greenberg, James R. Hamilton, Navendu Jain, Srikanth Kandula, Changhoon Kim, Parantap Lahiri, Dave A. Maltz, Parveen Patel, and Sudipta Sengupta. from SIGCOMM 2009

Awards | International Conference on Automated Deduction (CADE)

Nikolaj Bjorner and Leonardo de Moura received the Herbrand Award 2019 for their exceptional and numerous contributions with Z3 to SMT solving, including theory, implementation, and application to a wide range of academic and industrial needs.

Gurdeep Pall and Ashish Kapoor on the Microsoft Research Podcast
Microsoft Research Podcast

There’s a lot of excitement around self-driving cars, delivery drones, and other intelligent, autonomous systems, but before they can be deployed at scale, they need to be both reliable and safe. That’s why Gurdeep Pall, CVP of Business AI at…

In the news | Microsoft Sweden News

Microsoft launches the Microsoft Soundscape service in Swedish, an application that uses 3D audio to create a more natural way for people with visual impairment to experience the environment.

In the news | Microsoft Sweden News

The custom-made SkyView service is based on technology from Microsoft's Soundscape service based on 3D audio technology that follows the user's positioning and tells you what's nearby.

Microsoft Research Blog

| Kamil Ciosek

One of the core directions of Project Malmo is to develop AI capable of rich interactions. Whether that means learning new skills to apply to challenging problems, understanding complex environments, or knowing when to enlist the help of humans, reinforcement…

In the news | Nature

To see the divide between the best artificial intelligence and the mental capabilities of a seven-year-old child, look no further than the popular video game Minecraft. A young human can learn how to find a rare diamond in the game…