photo of the Redmond lab building entrance

Microsoft Research Lab – Redmond

News & features

Awards | X-Rings: A Hand-mounted 360 Degree Shape Display for Grasping in Virtual Reality

In the news | MSPoweruser

Microsoft Research has shown off a new technology which makes it easier to manage and spread your workspace intelligently over a variety of devices.

In the news | Paul G. Allen School News

Picture this: You are a researcher in the Molecular Information Systems Lab housed at the Paul G. Allen School. You and your labmates have developed a system for storing and retrieving digital images in synthetic DNA to demonstrate how this…

In the news | Anyscale Blog

FLAML is a lightweight Python library from Microsoft Research that finds accurate machine learning models in an efficient and economical way using cutting edge algorithms designed to be resource-efficient and easily parallelizable. FLAML can also utilize Ray Tune for distributed…

Portraits of Microsoft researchers Sid Suri and Jaime Teevan photographed in black and white. Both smile and look forward. Teevan, on the right, is holding a cell phone in the lower right of the frame.
Microsoft Research Podcast

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…

An illustration of resolving a bad merge into a safe merge. Moving from left to right, circles on a continuous line represent code commits in a version control system. A circle labeled “Base” is the most common ancestor of the commits marked A and B, respectively. All three commits pass the project’s quality gates, denoted by green check marks alongside each of these commits. The subsequent merge results in a failure of some quality gate, denoted by a blue circle labeled “Bad merge” with a red x above it. The repair uses machine learning, denoted by an abstract image of a neural network, and program verification and synthesis, denoted by a formal inference rule containing math symbols, to construct a safe merge that passes the quality gate, denoted by a circle outlined in green with a green check mark above it.   
Microsoft Research Blog

| 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

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…

Portraits of Microsoft researchers Ginger Hudson and Jaime Teevan photographed in black and white. Both smile and look forward. Teevan, on the right, is holding a cell phone in the lower right of the frame.
Microsoft Research Podcast

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…

Two people side by side, Matt Brodsky on the left and Jaime Teevan on the right, in black and white smile and look forward. Teevan is holding a cell phone.
Microsoft Research Podcast

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…