Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.

“For over two decades, Microsoft Research Asia has retained an open and growth mindset and has been committed to creating a free, inclusive, and sustainable environment for scientific research, where ...

Microsoft Research is happy to continue hosting this series of Image Recognition (Retrieval) Grand Challenges. Do you have what it takes to build the best image recognition system? Enter these MSR ...

Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using ...

Molecular devices made of nucleic acids show great potential for applications ranging from bio-sensing to intelligent nanomedicine. They allow computation to be performed at the molecular scale, while ...

In this talk, I will give an overview of the state of the art in lattice reduction algorithms. I will also describe how lattice reduction may be used to solve standard problems from lattice-based ...

Normalisation by Evaluation is a technique to efficiently compute the normal form of, possibly open, lambda terms with respect to beta reduction and rewrite rules. It works by compiling terms into ...

Linearizability: The behavior of concurrent objects is best described through their safety and liveness properties, often referred to as correctness and progress. In this lecture, we examine various ...

Connecting to Multiple IEEE 802.11 Networks with one WiFi Card (VirtualWiFi is an old project, and we started working on it in 2002. We are not actively working on this project since 2006, and will ...

Microsoft Research New England (MSR-NE) was founded in July 2008 in Cambridge, Massachusetts. The New England lab builds on Microsoft’s commitment to collaborate with the broader research community ...