Microsoft Research Lab – Redmond

Microsoft Research Lab – Redmond

Established 1991


Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different areas of research, including human-computer interaction, artificial intelligence, search technologies, natural user interfaces (NUI), networking, health and well-being, social science, and economics and computation. Close proximity to the product teams at Microsoft proved valuable in the early days, and that remains true today.





Search and information retrieval

Click-based Hot Fixes for Underperforming Torso Queries
Masrour Zoghi, Tomáš Tunys, Lihong Li, Damien Jose, Junyan Chen, Chun Ming Chin, Maarten de Rijke, in Proceedings of the 39th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR), ACM – Association for Computing Machinery, July 1, 2016, View abstract

Social sciences

Human-centered computing

Computer systems and networking

Programming languages and software engineering

Artificial intelligence and machine learning

Click-based Hot Fixes for Underperforming Torso Queries
Masrour Zoghi, Tomáš Tunys, Lihong Li, Damien Jose, Junyan Chen, Chun Ming Chin, Maarten de Rijke, in Proceedings of the 39th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR), ACM – Association for Computing Machinery, July 1, 2016, View abstract

Security and privacy

Natural language processing and speech

Graphics and multimedia

Dynamic Polygon Cloud Compression
Philip A. Chou (pachou), Eduardo Pavez, in Int'l Conf. on Acoustics, Speech, and Signal Processing (ICASSP), submitted for possible publication, IEEE – Institute of Electrical and Electronics Engineers, March 5, 2017, View abstract

Medical, health and genomics


Data visualization, analytics, and platform

Click-based Hot Fixes for Underperforming Torso Queries
Masrour Zoghi, Tomáš Tunys, Lihong Li, Damien Jose, Junyan Chen, Chun Ming Chin, Maarten de Rijke, in Proceedings of the 39th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR), ACM – Association for Computing Machinery, July 1, 2016, View abstract

Hardware, devices and quantum computing

Computer vision



Established: August 25, 2016

The Ability team is a virtual team consisting of members of MSR's Labs who work on accessible technologies.


Established: August 18, 2016

Microsoft Research's studio99 aims to introduce artistic perspectives, processes, and values in the work of our organization. Studio99 seeks to build collaborations between researchers, engineers, and artists/designers to create beautiful and innovative experiences that inspires new ways of thinking about…

Natural Language Processing

Established: June 27, 2016

The Redmond-based Natural Language Processing group is focused on developing efficient algorithms to process texts and to make their information accessible to computer applications. Since text can contain information at many different granularities, from simple word or token-based representations, to…

Health Intelligence

Established: December 16, 2015

We are a research and development team focused on delivering health-related insights, inferences, and experiences to Microsoft Health, Band, Cortana, and other products.

Nature + Computing

Established: July 15, 2015

Nature + Computing The intersection of computer science and the natural sciences Computer science research and applications have grown increasingly data driven. At the same time, the natural sciences have experienced an explosion of data, and are being increasingly driven…

Machine Teaching Group

Established: April 28, 2015

The focus of the Machine Teaching Group is to make the process of training a machine easy, fast and universally accessible. This multi-disciplinary challenge lies at the intersection of Machine Learning, Human-Computer Interaction, Visualization and Engineering. The Machine Teaching Group is…

Operating Systems Technologies (OS Tech)

Established: March 25, 2015

Creating innovations in the base abstractions from which developers build applications.  Our work spans from user interfaces to kernel and OS substructures. We are part of the MSR New Experiences and Technologies (NExT) organization. While our current projects are usually…


Established: March 18, 2015

We apply principles from computer science, machine learning, and statistics to genomics applications including sequence alignment, variant calling, denovo sequencing, and genome-wide association studies.

Deep Learning Technology Center

Established: January 30, 2015

The DLTC is managed by Li Deng, the Chief Scientist for AI. The goal of the DLTC is to build advanced deep learning technologies towards artificial general intelligence (AGI). We develop state-of-the-art algorithms and models in deep unsupervised learning, deep…

Systems Research Group – Redmond

Established: December 15, 2014

The Systems Research Group is devoted to significantly extending the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, and fast, and efficient. We're hiring! For the current 2015-2016…

Knowledge and Language Group

Established: April 25, 2014

Our mission is to harvest and curate the wealth of knowledge encoded in text: the people, content, things, connections between them, and activities around them. We mobilize research and advanced technology projects for the Technology arm of MSR (MSR-T) by…

Cloud Efficiency

Established: January 1, 2014

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Mobility and Networking Research

Established: July 12, 2012

The Mobility and Networking Research (MNR) Group focuses on basic and applied research in all areas related to networked systems and mobile computing. Researchers build proof-of-concept systems, engage with academia, publish scientific papers, publish software for the research community, and…


Established: February 6, 2012

The MSR neXus Research Team explores systems that help connect people, places, and devices. The Nexus group merges research in Computer Supported Collaborative Work, Computational Social Science, and Information Visualization to support rich connections across a variety of dimensions, including…

Quantum Architectures and Computation Group (QuArC)

Established: December 19, 2011

The Quantum Architectures and Computation group is a team of leading quantum computer scientists and engineers dedicated to developing real-world quantum algorithms, understanding their implications, and designing a comprehensive software architecture for programming such algorithms on a scalable, fault-tolerant, quantum…

Natural Interaction Research

Established: October 12, 2011

The Natural Interaction Research group aims to enrich and reimagine the human-computer interface. Our team explores a wide variety of interaction topics including sensing and display hardware, touch and stylus input, spatial and augmented reality, and user modeling. Downloads Microsoft…

Audio and Acoustics Research Group

Established: October 1, 2011

The Audio and Acoustics group conducts research in audio processing and speech enhancement, 3D audio perception and technologies, devices for audio capture and rendering, array processing, information extraction from audio signals. Overview The mission of the Audio and Acoustics Group…

Sensing and Energy Research Group (SERG)

Established: April 28, 2011

Sensing and energy are emerging cross-cutting physical concerns in computer systems. The proliferation of embedded and personal devices such as networked sensors and mobile phones gives computer systems increasing capability of gathering data from and adapting to the physical world and…

Empirical Software Engineering Group (ESE)

Established: December 31, 2010

The Empirical Software Engineering working group empowers software development teams to make sound data-driven decisions by deploying novel analytic tools and methods based on ESE’s empirical research on products, process, people, and customers. Our current interests are in the areas…

Internet Services Research Center (ISRC)

Established: August 8, 2009

The Internet Services Research Center (ISRC) is a specialized research group, focusing on all aspects of internet services. We see applications moving to the cloud, with Web search posing deep technical challenges, and with mobility, social networks, data mining, and…

Security and Cryptography

Established: July 13, 2009

The MSR-T Security & Cryptography group does applied research in systems security and cryptography.

Research in Software Engineering (RiSE)

Established: November 24, 2008

coordinates Microsoft's Research in Software Engineering in Redmond, USA. Our mission is to advance the state of the art in Software Engineering and to bring those advances to Microsoft’s businesses. Foundations of Correctness Formal Methods - Ivy, Lean, Z3, Symbolic Automata, FORMULA…

Web and AI Sciences

Established: October 1, 2007

We are a team of applied scientists within Bing's Web Search and Artificial Intelligence development group. Our goal is to focus on the fundamentals of Information Retrieval (IR) and Machine Learning (ML), and to introduce new ideas and methods in Bing…

Operating Systems

Established: September 3, 2004

Exploring the base abstractions from which developers build applications and practical implementations of those abstractions in operating systems. The Operating Systems Group is part of the Systems and Networking Research Area. The most important job of an operating system is…


Established: April 19, 2002

VIBE stands for “Visualization and Interaction for Business and Entertainment”, and our group focuses primarily on topics in human-computer interaction (HCI) and information visualization. Here is a short list of ongoing projects: Big Data Analytics UX--better environment and visualizations for…

Speech and Dialog Research Group

Established: March 27, 2000

Research in speech recognition, language modeling, language understanding, spoken language systems and dialog systems. Overview Our goal is to fundamentally advance the state-of-the-art in speech and dialog technology. To achieve this, we are working in all aspects of machine learning,…

Embedded Systems

Established: March 27, 2000

Our work on Embedded Systems and Reconfigurable Computing covers both the system software and hardware platform issues. Overview System software is long lived and hard to develop. How can we make computers and consumer electronic devices less helpless and needy of…


Established: March 27, 2000

The charter of the Database Group at Microsoft Research Redmond is to increase the usefulness of database system technology to users by creating, extending, and applying database technology. To that end, we consult with product groups at Microsoft and take…

Data Management, Exploration and Mining (DMX)

Established: March 27, 2000

Overview The Data Platforms and Analytics pillar currently consists of the Data Management, Mining and Exploration Group (DMX) group, which focuses on solving key problems in information management. Our current areas of focus are infrastructure for large-scale cloud database systems,…

Cryptography Research

Established: March 27, 2000

Cryptography is the ancient science of encoding messages so that only the sender and receiver can understand them. Cryptography is now available to everyone thanks to the development of modern computers, which can perform more mathematical operations in a second…

Theory Group

Established: February 3, 1997

We work on fundamental problems in mathematics and theoretical computer science, interact extensively with the academic community and collaborate with other researchers at MSR on challenging applied problems. Among our areas of expertise are probability, algorithms, statistical learning, optimization, algorithmic game…


Established: October 6, 1993

Exploring 2D and 3D graphics algorithms and representations for rendering, geometric modeling, and animation. Graphics Group There has been remarkable growth in sensor resolution on consumer devices. We expect that as storage and bandwidth continue to scale, video streams will…


Workshop on Quantum Algorithms and Devices

Redmond, WA, USA | July 2016

Venue: Sonora Room, Microsoft Conference Center (Building 33) The Quantum Algorithms and Devices Workshop was part of the Microsoft Research Faculty Summit 2016.

Safe Autonomous Cyber Physical Systems Workshop 2016

Redmond, WA, USA | July 2016

Venue: Baker Room, Microsoft Conference Center (Building 33) Contact us: For any questions please contact Debadeepta Dey The Safe Autonomous Cyber Physical Systems Workshop was part of the Microsoft Research Faculty Summit 2016.

Self-Managing Networks Summit 2005

Kirkland, WA, US | June 2005

Venue: Woodmark Hotel on Lake Washington Kirkland, Washington Sponsored by Microsoft Research

EdgeNet 2006

Snoqualmie, WA, US | June 2006

Venue: Salish Lodge & Spa Organizers: Victor Bahl, David A. Maltz, Ming Zhang

High-Speed TCP Workshop 2007

February 2007

Meeting Location: Microsoft Campus Building 113, Conference room 1021, 14870 NE 31st Way Redmond, WA 98052 Overhead view 3D image Organizers: Jitu Padhye, Deepak Bansal and Murari Sridharan

Applied Multi-Party Computation

Microsoft Research, Redmond | February 2014

Secure multi-party computation (MPC) allows a set of parties to compute a function of their inputs while preserving input privacy and correctness. MPC has been an active area of research of cryptography for over 30 years. The last decade has witnessed significant interest and advances in the applied aspects of MPC. This workshop will bring together researchers in security and cryptography to discuss recent advances, challenges and research directions related to applied secure computation.

Cognitive Wireless Networking Summit 2008

Snoqualmie, WA | June 2008

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Seventh Annual Microsoft Research Networking Summit

Bellevue, WA | June 2010

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

New Directions in Networked Systems Design

Redmond, WA | October 2012

The goal of this informal event is to create stronger ties between Microsoft’s technical community leaders and some of the top systems researchers in academia, and to learn about the next big ideas these researchers are working on.

New Directions in Wireless Systems Design 2013

Redmond, WA | May 2013

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Workshop on Programmability at Cloud Scale 2015

Redmond, WA, USA | July 2015

This workshop will consider reliable, scalable interactive applications for the cloud. There will be talks and discussion of other mature and proposes systems, and of how open source can be utilized to advance and improve tools.

Z3 Special Interest Group 2012

Microsoft Research, Redmond | October 2012

This meeting is an opportunity for researchers to exchange experiences with others and the developers of Z3.

Faculty Summit 2016

Redmond, WA, USA | July 2016

Download the agenda Contact us: If you have questions about this event, please send us an email at

Summer School on Internet of Things 2016

Kazan, Russia | July 2016

The Microsoft Summer School on the Internet of Things will take place in Kazan, Russia, from July 17 to 23, 2016. Our summer schools provide a unique opportunity for students to learn about fundamental and state-of-the-art results and to mingle with world leaders in the field. The 2016 Microsoft Research summer school will approach the broad field of the Internet of Things (IoT) by considering the models and concepts surrounding distributed computations, ubiquitous computing, architectures for sensor networks, infrastructure support for smart real-world objects, interaction in smart environments, and privacy and security concepts. We will look at flexible platforms for experimental research that connect devices in homes and beyond. There will be ample time for practical experiments with sensor-based devices, which will be provided for each student.

Software Engineering Mix

Bellevue, WA, USA | July 2015

Software Engineering Mix provides a forum for our colleagues from academia to interact directly with Microsoft engineers. The program will feature talks from academics: highlights of published research that is highly relevant for Microsoft and blue sky talks summarizing emerging research areas. In addition, practitioners will give presentations about theoretical and pragmatic engineering challenges they face, perhaps soliciting help from academia. A coffee round table setting will be used to facilitate discussions. This session builds on the success of SEIF Days, which provided a discussion forum about the future of software engineering.

Faculty Summit 2015

Redmond, WA, USA | July 2015

Contact us: If you have questions about this event, please send us an email.

CodaLab for Data-Driven Research

Redmond, WA, United States | July 2014

Today’s data-driven research and development is stymied by an inability for scientists and their collaborators to easily reproduce and augment one another’s experiments. CodaLab addresses this problem by providing a cloud-based virtual “workbench” where computer scientists can conduct data-driven experiments quickly and easily. These experiments can then be easily copied, re-worked, and edited by other collaborators in order to advance the state of the art in data-driven research and machine learning.

Faculty Summit 2013

Redmond, WA, USA | July 2013

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

eScience Workshop 2012

Chicago, IL, U.S. | October 2012

Related Events: eScience Workshop 2005 eScience Workshop 2006 eScience Workshop 2007 eScience Workshop 2008 eScience Workshop 2009 eScience Workshop 2010 eScience Workshop 2011 eScience Workshop 2011-Transforming Scholarly Communication eScience Workshop 2012 eScience Workshop 2013 eScience Workshop 2014

TechFest 2012

Redmond, WA | March 2012

Each winter, TechFest exposes Microsoft employees and guests to compelling research projects from Microsoft Research’s labs around the world. Researchers demonstrate their most recent achievements—and the technologies those efforts have produced. TechFest enables product teams and researchers to interact, often leading to the transfer of groundbreaking technologies into Microsoft products.

Faculty Summit 2012

Redmond, WA, USA | July 2012

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

TechFest 2011

Redmond, WA, U.S. | March 2011

TechFest is an annual event, for Microsoft employees and guests, that showcases the most exciting research from Microsoft Research's locations around the world. Researchers share their latest work—and the technologies emerging from those efforts. The event provides a forum in which product teams and researchers can interact, fostering the transfer of groundbreaking technologies into Microsoft products.

Software Summit 2011

Paris, France | April 2011

Microsoft Research hosted this event to bring together thought leaders from academia, research labs, funding agencies, and Microsoft to discuss the state of software research and development. More than 200 leading European computer scientists attended to experience a vibrant program of talks, panels, workshops, and demonstrations.

F# in Education Workshop

Cambridge, MA, U.S. | November 2010

F# in Education was a one-day workshop for educators and industrialists, held in Cambridge, Massachusetts, U.S., on November 5, 2010. The workshop investigated F# as a possible teaching language, as well as its use in industry. Developments in cross-platform issues were highlighted. The venue was Microsoft’s vibrant New England Research and Development Centre on the scenic Charles River within reach of MIT, Harvard, and Boston Universities.

TechFest 2010

Redmond, WA, U.S. | March 2010

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Northwest Probability Seminar 2010

Redmond, WA, U.S. | October 2010

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Northwest Probability Seminar 2008

Redmond, WA | November 2008

Microsoft Research was founded on the Redmond, Washington campus of Microsoft Corporation in 1991 to support both basic and applied research free of constraints of product cycles. The Redmond lab has the greatest concentration of researchers, working across the broadest range of research areas in the company. Researchers in the Redmond lab focus on many different […]

Design Expo 2004

Redmond, WA, U.S. | August 2004

Design Expo Links: About Design Expo Design Expo 2016 Design Expo 2015 Design Expo 2014 Design Expo 2013 Design Expo 2012 Design Expo 2011 Design Expo 2010


Intelligent Editing

The Intelligent Editing Project seeks to apply neural networks and other modern machine learning techniques to furnish editorial assistance.  We look beyond traditional grammatical error checking to focus on facilitating writers by providing them with fluent, meaningful text editing support that…

Emotion Recognition for MS Cognitive Services

Established: July 1, 2015

The Emotion Recognition takes an image with faces as an input, and returns the confidence across a set of emotions for each face in the image, as well as bounding box for the face (using MS Face API). The algorithm infers emotions from…

gNOSIS: Advancing Hardware Development

Established: May 1, 2010

Field Programmable Gate Arrays (FPGAs) are used in wide range of applications from small devices to big data centers. Verilog HDL is one of the most common languages used by FPGA designers to implement a design. Then, different CAD tool…

Lightwear: An Exploration in Wearable Light Therapy

Established: June 2, 2014

We explored the social acceptability and user experience of wearable form factors as a portable option for Bright Light Therapy (BLT). BLT remains the predominant therapy for Seasonal Affective Disorder despite a non-compliance rate of ~70% commonly attributed to the…

Project Florence

Established: August 3, 2015

Nature has its own language; specifically, plants use electro-chemical signals to communicate their needs. Project Florence is a speculative glimpse into our Future where both our Natural and Digital worlds could co-exist in harmony through enhanced communication. Combining Natural Language…


Established: June 1, 2015

DuoSkin is a fabrication process that enables anyone to create customized functional devices that can be attached directly on their skin. Using gold metal leaf, a material that is cheap, skin-friendly, and robust for everyday wear, we demonstrate three types…

Code Hunt Workshops

Established: February 1, 2015

1st Code Hunt Workshop, Redmond February, 15-16, 2015 Slides and Videos Deep Dive into Pex for Code Hunt Nikolai Tillmann [Slides] [Video] Code Hunt Contest Analytics Judith Bishop [Slides] [Video] Model Counting for Test Coverage in Code Hunt  Willem Visser…


Established: January 1, 2014

A Microsoft Research innovation, TrueText takes the literal text and transforms it to more closely reflect user intent. It achieves this by removing speech disfluencies, such as “um”s and “ah”s, as well as stutters and repetitions. The text is also…


Established: November 1, 2015

Windflow: Airplanes As Vast Sensor Network

Established: June 3, 2014

The best available forecasts in the United States—from the federal government’s Winds Aloft program—have been based largely on data from instrumented weather balloons released twice a day, providing forecasts for 176 stations across the United States. Wind Aloft is often…

Safe Autonomous Flight Everywhere (SAFE)

Established: June 6, 2016

Our goal is to build generalized vehicle-agnostic system that can provide safety guarantees in face of uncertain world. Our works starts from defining what we precisely mean by "safe" and then build theoretical framework that treats uncertainty in perception and…

Open Academic Society

Established: July 15, 2016

Microsoft Research and several academic partners have formed the Open Academic Society, with the mission to contribute to and create a shared, open and expanding knowledge graph of research and education-focused entities and relationships. Seeded by the Microsoft Academic Graph,…

Study Participation Opportunities

Established: July 5, 2016

The Microsoft Research Enable team is not recruiting new study participants at the current time; however, we will post study participation opportunities here in the future, so do check back! If you live in the Seattle metro area and have…

Microsoft’s Wide Area Optical Backbone

Wide-area backbone networks (WAN) of Internet service providers and cloud providers are the workhorses of Internet traffic delivery. The providers spend millions of dollars toward building access points across the world and interconnecting them using optical links. Improving the availability…

ProjecToR: Agile Reconfigurable Data Center Interconnect

ProjecToR is a novel, free-space optics based approach for building data center interconnects. It uses a digital micromirror device (DMD) and mirror assembly combination as a transmitter and a photodetector on top of the rack as a receiver. Our approach…

MSR Image Recognition Challenge (IRC) @ IEEE ICME 2016

Established: February 23, 2016

MSR Image Recognition Challenge (IRC) @ IEEE ICME 2016 (past) ICME 2016 Image Recognition Grand Challenge Session: Time: 10:00-11:40, Wednesday, July 13, 2016  Room: Grand III Deep Multi-Context Network for Fine-Grained Visual Recognition Xinyu Ou1,2,3, Zhen Wei2,4, Hefei Ling1,…

Elliptic Curve Cryptography (ECC)

Established: January 9, 2012

In the last 25 years, Elliptic Curve Cryptography (ECC) has become a mainstream primitive for cryptographic protocols and applications. ECC has been standardized for use in key exchange and digital signatures. This project focuses on efficient generation of parameters and…

MS-Celeb-1M: Challenge of Recognizing One Million Celebrities in the Real World

Established: June 29, 2016

MSR Image Recognition Challenge (IRC) @ACM Multimedia 2016 Latest Updates: 6/21/2016: Evaluation Result Announced, see details in "Update Details" below. 6/17/2016: Evaluation finished. 14 teams finished the grand challenge! 6/13/2016: Evaluation started. 6/13/2016: Dry run finished, 14 out of 19…

RLGR Entropy Coder

Established: October 31, 2000

We have developed an efficient entropy coder for integer value data. We refer to this compression algorithm as a Run-Length Golomb-Rice (RLGR) coder. The RLGR coder is very simple to implement, and uses backward adaptation of just a few parameters,…


Established: September 30, 1999

The still image compression format now known as JPEG XR has its roots at Microsoft Research. It started as the Progressive Transform Codec (PTC), which we designed back in 1999 as an alternative to JPEG 2000. The goal for PTC was…


Holoportation is a new type of 3D capture technology that allows high-quality 3D models of people to be reconstructed, compressed and transmitted anywhere in the world in real time. When combined with mixed reality displays such as HoloLens,…

Homomorphic Encryption

Established: March 27, 2016

Homomorphic encryption (HE) refers to a special type of encryption technique that allows for computations to be done on encrypted data, without requiring access to a decryption key. While traditional encryption schemes can be used to privately outsource data storage…

Lattice Cryptography Library

Established: April 19, 2016

LatticeCrypto is a high-performance and portable software library that implements lattice-based cryptographic algorithms. The first release of the library provides an implementation of lattice-based key exchange with security based on the Ring Learning With Errors (R-LWE) problem using new algorithms…

SIDH Library

Established: April 16, 2016

SIDH (Supersingular Isogeny Diffie Hellman) Library is a fast and portable software library that implements a new suite of algorithms for supersingular isogeny Diffie-Hellman key exchange [1]. The chosen parameters aim to provide 128 bits of security against attackers running a…

Cluster scheduling

Established: May 1, 2016

We consider various scheduling problems that arise in large clusters.


Established: April 26, 2016

OPAL is a programming language and environment for designing intelligent assistants based on natural language. Tasks in OPAL can explore multiple hypothetical worlds to resolve the ambiguity in users' intent by exploring its potential implications on the real world. Weightings…


Established: May 27, 2016

Historically, mobile apps didn’t have links equivalent to web deep links. Mobile deep links, introduced in recent years, don’t provide the same user experience of web URLs because they’re defined statically to navigate to a page for a given link,…

FarmBeats: IoT for agriculture

Established: April 14, 2016

Several studies have demonstrated the need for the world’s food production to double by 2050. However, there is limited amount of additional arable land, and water levels have also been receding. Although technology could help the farmer, its adoption is…

Safe asynchronous programming with P and P#

Established: March 15, 2016

We are designing programming languages for building safe and reliable asynchronous systems. The languages are based on the programming idiom of communicating state machines. They offer first-class support for writing safety and liveness specifications as well as building abstract models of…

Quickr: Cost-effective data analytics at scale

Established: March 8, 2016

We are inundated with data. Resources to analyze the data are finite and expensive. Approximate answers allow us to explore much larger amounts of data than otherwise possible given available resources. Reducing the cost, if doable for a large fraction…

Room2Room: Life-size telepresence in a projected augmented reality environment

Established: March 2, 2016

Room2Room is a life-size telepresence system that leverages projected augmented reality to enable co-present interaction between two remote participants. We enable a face-to-face conversation by performing 3D capture of the local user with color + depth cameras and projecting their…


Established: February 19, 2016

We are developing new techniques to efficiently deliver content and services over large-scale cloud infrastructure.


Established: February 17, 2016

PACORA (Performance-Aware Convex Optimization for Research Allocation) is a resource allocation framework for general-purpose operating and cloud systems, which is designed to provide responsiveness guarantees to a simultaneous mix of high-throughput parallel, interactive, and real-time applications in an efficient, scalable…


Established: March 14, 2016

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness. It also provides a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and…

Cloud-Powered Virtual Reality

Established: June 3, 2016

We are investigating how Cloud Computing can enable next-generation Virtual Reality experiences. In The News Check out what the press has to say about our work. FlashBack: Yahoo, Network World, Neowin, Phone Arena, WinBeta, MS Power User, SlashGear, ... Kahawai: ZDNET,…

HIV Vaccine Design

HIV is one of the world's primary health concerns.  Researchers at Microsoft are collaborating with leading HIV scientific centers to bring together research expertise and cutting-edge computing technology in to the fight against the virus.  Computational tools are available here.…

Project Premonition

Established: March 2, 2015

"Project Premonition aims to detect pathogens before they cause outbreaks" Emerging infectious diseases such as Zika, Ebola, Chikungunya and MERS are dangerous and unpredictable. Public health organizations need data as early as possible to predict disease spread and plan responses. But, early data is very difficult to…

Dual Embedding Space Model (DESM)

Established: January 21, 2016

The Dual Embedding Space Model (DESM) is an information retrieval model that uses two word embeddings, one for query words and one for document words. It takes into account the vector similarity between each query word vector and…

JavaScript Time-Travel Debugger

Established: January 8, 2016

This project is focused on creating a low-overhead Time-Traveling Debugger in the Chakra JavaScript engine (and Node.js). This debugger supports reverse variations of the step forward operations in a debugger to enable a developer to easily reverse program execution time…


Established: January 5, 2016

Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those computations. See our recorded Research In Focus talk from the Microsoft Faculty Summit this past year for more information. Uncertain…

Edge Computing

Established: December 6, 2015

News Stories Network World, Microsoft Researcher: Why Micro Datacenters Really Matter to Mobile's Future, September 3, 2015 (also Computer World, IT World, Info World) Shepherd's PI, Why a Cloudlet Beats the Cloud for Mobile Apps, by Lewis Sheppherd, December 13,…

Spatial Audio

Established: December 1, 2015

Spatial Audio is a project about creating a 3D audio experience using headphones. Spatial audio is also known as 3D stereo sound, or simply 3D audio. The applications are augmented and virtual reality, but this technology also affects a trivial…

Logan: Logfile Analysis

Established: October 12, 2015

Understanding Techniques and Tools for More Effective Telemetry and Log Data Analysis. Increasingly, business processes require data-driven real-time feedback based on large quantities of log data and customer telemetry from multiple sources. The Logan Project takes a…

Peeking Template Matching for Depth Extension

Established: October 5, 2015

We propose a method that extends a given depth image into regions in 3D that are not visible from the point of view of the camera. The algorithm detects repeated 3D structures in the visible scene and suggests a set…


Established: September 22, 2015

NUIgraph is a prototype Windows 10 app for visually exploring data in order to discover and share insight. The app has been designed for touch interaction, however a mouse can also be used. Data can be loaded from .csv files…

Trusted Cloud

Established: August 31, 2015

The Trusted Cloud project at Microsoft Research aims to provide customers of cloud computing complete control over their data: no one should be able to access the data without the customer’s permission. Even if there are malicious employees…


Established: August 26, 2015

FourQlib is an efficient and portable math library that provides functions for computing essential elliptic curve operations on a new, high-performance curve called "FourQ". This curve targets the 128-bit security level and supports computations that are significantly faster than any…

Pop Therapy

Established: August 25, 2015

Stress is considered to be a modern day “global epidemic"; so given the widespread nature of this problem, it would be beneficial if solutions that help people to learn how to cope better with stress were scalable beyond what individual…

DCQCN: Data Center QCN

Established: August 11, 2015

DCQCN is a congestion control protocol for large scale RDMA networks, developed jointly by Microsoft and Mellanox.

Image Classification

Established: July 7, 2015

Instructions This web page provides detailed instructions and examples to aid you in successfully completing our Mechanical Turk task for labeling images that have been embedded in public tweets. Note that we have randomly selected these images from public…

SemanticPaint: Interactive 3D Labeling and Learning at your Fingertips

Established: June 29, 2015

We present a new interactive approach to 3D scene understanding. Our system, SemanticPaint, allows users to simultaneously scan their environment, whilst interactively segmenting the scene simply by reaching out and touching any desired object or surface. Our system continuously learns…


Established: June 2, 2015

File System for Approximate Storage Approximate storage allows tradeoffs between data storage precision and other desirable characteristics such as energy savings, higher performance or higher density. It consists of placing different sets of data in memories or…

DSoAP – Distributed Social Analytics Platform

Established: June 1, 2015

The Distributed Social Analytics Platform (DSoAP) project is focused on the “Huge Data” problem in social policy research caused by the breadth of data involved. Using aggregate social media data to investigate and validate social issues such as employment, health…

The BBC micro:bit and Microsoft

Established: May 28, 2015

Try our Block/JavaScript editor! The BBC and partners, including Microsoft, announce the BBC micro:bit – a pocket-sized, codeable computer that allows children to get creative with technology. Up to 1 million micro:bits will be given to every 11 or 12…


Established: May 28, 2015

The PinDrop project focuses on building the substrate for supporting high-quality real-time streaming over wired and wireless networks. Context Real-time streaming across the wide-area network (WAN) is key to several existing and anticipated services, including voice and video conferencing (e.g.,…

Microsoft Academic Graph

Established: June 5, 2015

The Microsoft Academic Graph is a heterogeneous graph containing scientific publication records, citation relationships between those publications, as well as authors, institutions, journals, conferences, and fields of study. This graph is used to power experiences in Bing, Cortana, and in…

Language to Code

Established: May 12, 2015

Our goal is to let normal users tell computers what to do using normal language. This problem space is strongly related to natural language understanding, program synthesis, and many other areas. The data release associated with the following ACL…

RoomAlive Toolkit

Established: October 1, 2014

The RoomAlive Toolkit is an open source SDK that enables developers to calibrate a network of multiple Kinect sensors and video projectors. The toolkit also provides a simple projection mapping sample that can be used as a basis to develop…

Certification of Symbolic Transaction

Established: May 6, 2015

Logic flaws are prevalent in multiparty cloud services, which cause serious consequences, e.g., an attacker can make purchases without paying, or gets into other people’s accounts without password. For decades, researchers have been advocating formal verification as a solution, but…

Platform for Interactive Concept Learning (PICL)

Established: April 28, 2015

Quick interaction between a human teacher and a learning machine presents numerous benefits and challenges when working with web-scale data. The human teacher guides the machine towards accomplishing the task of interest. The system leverages big data to find examples…


Established: April 17, 2015

The proliferation of connected devices can in theory enable a range of applications that make rich inferences about users and their environment. But in practice developing such applications today is arduous because they are constructed as monolithic silos, tightly coupled…


Established: April 17, 2015

The Kamino project explores ways in which systems should adopt new memory technologies including SSDs (NAND-Flash), battery-backed DRAM and emerging non-volatile memory technologies (phase change memory, memristors, spin-torque transfer memory, etc.) for increased performance and efficiency. The project explores how…

From Captions to Visual Concepts and Back

Established: April 9, 2015

We introduce a novel approach for automatically generating image descriptions. Visual detectors, language models, and deep multimodal similarity models are learned directly from a dataset of image captions. Our system is state-of-the-art on the official Microsoft COCO benchmark, producing a…

Surface Hub for Research

Established: April 2, 2015

Academic Research Request for Proposals Microsoft Research and Microsoft are committed to pushing the boundaries of technology to improve and positively influence all parts of society. New devices and form factors are creating opportunities for transforming…

Presenter Camera

Established: April 1, 2015

Presenter Camera is a desktop application designed to improve the quality of video seen by remote attendees of a presentation. The Problem Remote meetings are becoming more prolific in the modern workplace.  A common scenario is to broadcast…

Society of Devices Applications (SODA)

Established: March 25, 2015

We envision a future Internet of Things where every human-created artifact in the world that uses electricity will be connected to the internet. We are creating new experiences and technologies for the coming convergence of digital and physical systems enabled…

Data-Driven Conversation

This project aims to enable people to converse with their devices. We are trying to teach devices to engage with humans using human language in ways that appear seamless and natural to humans. Our research focuses on statistical methods by…

NLPwin parses AMR

Established: March 17, 2015

The Logical Form analysis produced by the NLPwin parser is very close in spirit to the level of semantic representation defined in AMR, Abstract Meaning Representation. The "NLPwin parses AMR" project is a conversion from LF to AMR in order…

Code Hunt Community

Established: July 17, 2015

Code Hunt is a serious educational game. The Code Hunt community is interested in all aspects of research and development around the game, including analysis of the data and development of the platform. Join the Community Get updates. Tell us…

Code Hunt

Established: February 4, 2015

Code Hunt is a serious gaming platform for coding contests and practicing programming skills. It is based on the symbolic white box execution engine, Pex. Code Hunt is unique as an online coding platform in that each puzzle is presented…

Project Catapult

Established: June 1, 2014

Project Catapult is a Microsoft venture that investigates the use of field-programmable gate arrays (FPGAs) to improve performance, reduce power consumption, and provide new capabilities in the datacenter. We have designed an FPGA board that plugs into the Microsoft-designed server…


Established: January 30, 2015

Deep Structured Semantic Model / Deep Semantic Similarity Model   What is DSSM? DSSM stands for Deep Structured Semantic Model, or more general, Deep Semantic Similarity Model. DSSM, developed by the MSR Deep Learning Technology Center(DLTC), is…

DNA Storage

Established: January 1, 2015

The amount of digital data produced has long been outpacing the amount of storage available. This project enables molecular-level data storage into DNA molecules by leveraging biotechnology advances in synthesizing, manipulating and sequencing DNA to develop archival storage. Microsoft and…

Concept Expansion

Established: November 10, 2014

Given a concept name, and seed entities, return entities and tables in this concept. Sway Presentation


Established: October 17, 2014

Parasail is a novel approach to parallelizing a large class of seemingly sequential applications wherein dependencies are, at runtime, treated as symbolic values. The efficiency of parallelization, then, depends on the efficiency of the symbolic computation, an…


Established: October 3, 2014

An introduction by Lucy Vanderwende* * on behalf of everyone who contributed to the development of NLPwin NLPwin is a software project at Microsoft Research that aims to provide Natural Language Processing tools for Windows (hence, NLPwin). The project was started…

Tablet and Stylus Interaction

Established: October 3, 2014

We explore grip and motion sensing to afford new techniques that leverage how users naturally manipulate tablet and stylus devices during pen-and-touch interaction. We can detect whether the user holds the pen in a writing grip or tucked between his…

Dyadic Mano-a-Mano

Established: October 3, 2014

Mano-a-Mano is a unique spatial augmented reality system that combines dynamic projection mapping, multiple perspective views and device-less interaction to support face-to-face, or dyadic, interaction with 3D virtual objects. Its main advantage over more traditional AR approaches is users are…


Established: October 2, 2014

An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app's behavior. This does more than eliminate implementation…

Eye Gaze and Face Pose for Better Speech Recognition

Established: October 2, 2014

We want to use eye gaze and face pose to understand what users are looking at, to what they are attending, and use this information to improve speech recognition. Any sort of language constraint makes speech recognition and understanding easier…


Established: October 1, 2014

RoomAlive is a proof-of-concept prototype that transforms any room into an immersive, augmented, magical entertainment experience. RoomAlive presents a unified, scalable approach for interactive projection mapping that dynamically adapts content to any room. Users can touch, shoot, stomp, dodge and…

Zero-Effort Payments

Established: September 16, 2014

Zero-Effort Payments (ZEP) is a seamless mobile computing system designed to accept payments with no effort on the customer’s part beyond a one-time opt-in. With ZEP, customers need not present cards nor operate smartphones to convey their identities. ZEP uses…

EmotoCouch: An exploration in interactive furniture

Established: September 13, 2014

EmotoCouch is a prototype exploring how furniture could be augmented as part of a smart home. It uses lights, patterns, and haptics to explore possibilities for interactive furniture. Specifically, EmotoCouch was designed to explore how effectively furniture could convey a…

PICL: Platform for Interactive Concept Learning

Established: August 25, 2014

Quick interaction between a human teacher and a learning machine presents numerous benefits and challenges when working with web-scale data. The human teacher guides the machine towards accomplishing the task of interest. The system leverages big data to find examples…


Established: July 15, 2014

Animated computer graphics are projected onto the base of a fiber optic tree to create a sparse 3D display within the tree. This was done as an entry into Microsoft Research's MakeFest and demonstrated on 1/10/2014 to the MSRMakeFest community.

Learning to be a depth camera for close-range human capture and interaction

Established: July 14, 2014

We present a machine learning technique for estimating absolute, per-pixel depth using any conventional monocular 2D camera, with minor hardware modifications. Our approach targets close-range human capture and interaction where dense 3D estimation of hands and faces is desired. We…

MSR Elliptic Curve Cryptography Library

Established: June 27, 2014

MSR ECCLib is an efficient cryptography library that provides functions for computing essential elliptic curve operations on a new set of high-security curves.  All computations on secret data exhibit regular, constant-time execution, providing protection against timing and cache attacks.  The…

MSR JavaScript Cryptography Library

Established: June 17, 2014

JavaScript cryptographic algorithm implementations suitable for use in all cloud services The MSR JavaScript Cryptography Library has been developed for use with cloud services in an HTML5 compliant and forward-looking manner. The algorithms are exposed via the W3C WebCrypto interface, and…

Compression Accelerators

Established: June 16, 2014

Data compression is essential to large-scale data centers to save both storage and network bandwidth. Current software based method suffers from high computational cost with limited performance. In this project, we are migrating the fundamental workload of the computer system…

Benchmark for Robotic Indoor Navigation

Established: May 14, 2014

An experimental protocol for evaluating autonomous navigation systems in indoor environments. Introduction Robot navigation is one of the most studied problems in robotics and the key capability for robot autonomy. Navigation techniques have become more and more…

Discussion Graph Tool

Established: April 25, 2014

Discussion Graph Tool (DGT) is an easy-to-use analysis tool that provides a domain-specific language extracting co-occurrence relationships from social media and automates the tasks of tracking the context of relationships and other best practices. DGT provides a single-machine implementation, and…

Eye-Gaze Tracking for Improved Natural User Interaction

Established: April 12, 2014

We develop novel eye-gaze tracking technologies in order to make eye-gaze tracking technology ubiquitously available for improved natural user interaction (NUI).   We develop novel eye-gaze tracking technologies in order to make eye-gaze tracking technology ubiquitously available.…

ViiBoard: Vision-enhanced Immersive Interaction with Touch Board

Established: April 11, 2014

ViiBoard uses vision techniques to significantly enhance the user experience on large touch displays (e.g. Microsoft Perceptive Pixel) in two areas: human computer interaction and immersive remote collaboration. Simple Setup ViiBoard uses only an RGBD camera (Microsoft Kinect), mounted on…

Online and social media data as a flawed continuous panel survey

Established: April 9, 2014

If search and Twitter data are to be treated as a survey, they would follow a very peculiar methodology: participation is a time-varying, demographically biased sample of the population, participants are effectively continuously answering different “survey” questions, and, finally, participants…


Established: April 3, 2014

Eventful helps produce news reports using hybrid crowds (online and offline). Eventful automatically recruits and guides crowd workers who attend events in person to perform information collection missions. Eventful explores and hopes to problematize the concept of "journalism as a…

MSR Image Recognition Challenge (IRC)

Established: March 24, 2014

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 Image Recognition Challenges in ACM Multimedia and/or IEEE ICME…


Established: March 21, 2014

CodaLab is an open-source web-based platform that enables researchers, developers, and data scientists to collaborate, with the goal of advancing research fields where machine learning and advanced computation is used. CodaLab helps solve many common problems in the arena of…

Dialog and Conversational Systems Research

Established: March 14, 2014

Conversational systems interact with people through language to assist, enable, or entertain. Research at Microsoft spans dialogs that use language exclusively, or in conjunctions with additional modalities like gesture; where language is spoken or in text; and in a variety…


Established: March 11, 2014

A Large-Scale Real-World Image Dataset We argue that the massive amount of click data from commercial search engines provides a data set that is unique in the bridging of the semantic and intent gap. Search engines generate millions of click…

Software-Driven Wide Area Networks

Established: February 5, 2014

This project re-imagines and re-engineers wide area networks, to more than double their efficiency and allow flexible sharing of resources.


Established: January 30, 2014

Crowd-sourcing is increasingly being used for providing answers to online polls and surveys. However, existing systems, while taking care of the mechanics of attracting crowd workers, poll building, and payment, provide little that would help the survey-maker or pollster to…

Spatial Crowdsourcing

Established: January 28, 2014

We are studying how we can get regular people to do simple tasks at specific locations. An example task is to take a picture of a sign at a certain location. We are interested in who to ask and how…

Office Remote

Established: November 11, 2013

Office Remote turns your Windows Phone into a smart remote for Microsoft Office, providing convenient touch-based control of Word, Excel, and PowerPoint documents projected from your PC. It lets you show what you want, when you want, with all the…

Algorithmic Crowdsourcing

We study algorithmic issues for combining the intelligence of human and the computing power of machine to solve the problems that are difficult to solve by either human or machine alone.


Established: September 19, 2013

Trill is a high-performance in-memory incremental analytics engine. It can handle both real-time and offline data, and is based on a temporal data and query model. Trill can be used as a streaming engine, a lightweight in-memory relational engine, and…


Established: September 12, 2013

Tempe is a web service for exploratory data analysis. Below are images of the notebook pages mentioned in our submission to ICSE 2014.

Rethinking Eventual Consistency

Established: July 31, 2013

The past five years has seen a resurgence of work on replicated, distributed database systems, to meet the demands of intermittently-connected clients and disaster-tolerant database systems that span data centers. Each product or prototype uses a weakened definition of replica-consistency…

Meeting Recognition and Understanding

Established: July 30, 2013

In most organizations, staff spend many hours in meetings. This project addresses all levels of analysis and understanding, from speaker tracking and robust speech transcription to meaning extraction and summarization, with the goal of increasing productivity both during the meeting…


Established: June 6, 2013

Pex4Fun is a browser-based teaching and learning environment targeting teachers and students for introductory to advanced programming or software engineering courses. At the core of the platform is an automated grading engine based on symbolic execution. In Pex4Fun, teachers can…

Medical Imaging at Microsoft Research

Established: February 27, 2013

Through the creation of new applications and platforms, our team works to accelerate the rate of research in areas such as machine learning and computer vision making it easier for scientists to access large test datasets and compare algorithms against…

Q Program Verifier

Established: May 9, 2013

The Q program verifier is a collection of front-ends that compile different source languages to an intermediate representation (IR), and back-ends that perform verification on the IR. Together, Q is a verification platform that hosts multiple tools and technologies for…

Spoken Language Understanding

Established: May 1, 2013

Spoken language understanding (SLU) is an emerging field in between the areas of speech processing and natural language processing. The term spoken language understanding has largely been coined for targeted understanding of human speech directed at machines. This project covers…

Distribution Modeller

Established: February 27, 2013

Since its inception, the Computational Science group has undertaken research and development into new modelling platforms for computational science. The CEESDM project detailed here evolved from the Computational Science Studio project (mentioned in this article) and then evolved into the…

SQLVM: Performance Isolation in Multi-Tenant Relational Database-as-a-Service

Established: February 14, 2013

Multi-tenancy and resource sharing are essential to make a Database-as-a-Service (DaaS). However, resource sharing usually results in the performance of one tenant’s workload to be affected by other co-located tenants. In the SQLVM project, our approach to performance isolation in…

Hyder, a transactional indexed-record manager for shared flash

Established: February 8, 2013

Hyder is a transactional indexed-record manager for shared flash. That is, it supports operations on indexed records and transaction operations that bracket the record operations. It is designed to run on a cluster of servers that have shared access to…

Microsoft Research Data Visualization Apps for Office

Established: February 6, 2013

This project has now been concluded, and the apps have been deprecated. Thank you for your feedback! At Microsoft Research, we want to let users play with new types of visualizations. We’re doing it with Apps for Office, a new feature for…

Project CLEO

Established: January 18, 2013

The goal of project CLEO is to develop devices and services to encourage and enable participatory sensing and citizen scientists. A core technology developed in the project is to make location sensing energy efficient, so devices can be small and…

IllumiRoom: Peripheral Projected Illusions for Interactive Experiences

Established: January 4, 2013

IllumiRoom is a proof-of-concept system from Microsoft Research. It augments the area surrounding a television screen with projected visualizations to enhance the traditional living room entertainment experience.         Read the CHI 2013 Best-Paper: IllumiRoom:…

Dynamic Spectrum and TV White Spaces

Established: November 30, 2012

The Spectrum Opportunity Microsoft is working with key partners around the world to ensure consumers have access to an increasing range of connected devices. To meet growing consumer demand and address other policy challenges, we must consider multiple approaches which…

Recurrent Neural Networks for Language Processing

Established: November 23, 2012

This project focuses on advancing the state-of-the-art in language processing with recurrent neural networks. We are currently applying these to language modeling, machine translation, speech recognition, language understanding and meaning representation. A special interest in is adding side-channels of information…

Research Collaboration Conferences for Women

Established: November 5, 2012

A new initiative to build networks of female researchers in many areas of mathematics, through Research Collaboration Conferences at math institutes, which focus on building collaboration groups consisting of senior and junior women in a given area. RCCW: The research…

Kinected Browser

Established: October 31, 2012

Library for using Kinect interactions from Web pages in Internet Explorer. Kinected Browser provides an easy way for researchers and developers to harness the Kinect API through Internet Explorer. Skeleton tracking and depth data are translated into DOM events and…

TREC Web Track 2013

Established: October 30, 2012

This page contains guidelines and other information on the TREC 2013 Web Track. For the TREC 2014 Web Track page see TREC 2013 Web Track Guidelines Kevyn Collins-Thompson, Microsoft Research Paul N. Bennett, Microsoft Research Fernando Diaz, Microsoft Research…

Network Verification

Established: January 4, 2016

We are building a set of tools for dealing with network failures. Initial work with colleagues at Stanford includes an abstraction of the data plane of network boxes using a geometric model called Header Space. Using header space we have…

Tools for Software Engineers

Established: June 29, 2012

The Tools for Software Engineers (TSE) team mission is "Enabling Microsoft to accelerate software development". TSE contributes to and innovates on major parts of Microsoft's engineering system. TSE's current focus is to shorten the continuous integration cycle time which is…

Experiment 19

Established: October 13, 2008

A skunkworks project in 2008/2009 to re-imagine the OS platform for Windows Phone. The prototype proved that Windows NT and the CLR could deliver better performance than Windows CE and the .NET Compact Framework on identical hardware. Within months of…

Quick Printed Circuit Boards

Established: June 4, 2012

New Track I decided to try the "etch like a milling maching" approach. Turn an inexpensive hobby paper cutter into a very low-cost, no mess, quick PCB fabrication machine through mechanical mill-etching. Here's proof : After trying to produce a…

User Experience with Big Data

Big data analytics requires new workflows: high latency queries, massively-parallel code, and cloud computing infrastructures all make handling a big dataset different (and harder) than working on a local machine. We are exploring user experiences for analysts, and thinking about…


Established: April 13, 2012

Koka is a function-oriented programming language that seperates pure values from side-effecting computations, where the effect of every function is automatically inferred. Koka has many features that help programmers to easily change their data types and code organization correctly, while…


Established: April 4, 2012

Statistical Parsing and Linguistic Analysis Toolkit is a linguistic analysis toolkit. Its main goal is to allow easy access to the linguistic analysis tools produced by the Natural Language Processing group at Microsoft Research. The tools include both traditional linguistic…


Established: February 27, 2012

IllumiShare is an innovative system that enables remote people to share any physical or digital object on any surface. It is a low-cost, peripheral device that looks like a desk lamp, and just like a lamp lights up a surface…

Microsoft Translator Hub

Established: February 14, 2012

Microsoft Translator Hub empowers businesses and communities to build, train, and deploy customized automatic language translation systems—bringing better and specialized translation quality to established languages, and first-time automatic translation capabilities to the many languages that are…


Established: February 7, 2012

Duality solves Relation Post-Fixed Point problems using Craig interpolation. In can be used, for example, to generate proofs for procedural programs in the form of procedure summaries. Duality is envisioned as a generic engine for program analysis, supporting applications such…

Software Process

Established: February 7, 2012

Our studies on software process include organizational impact on quality, agile software development, global software development, effort estimation, development branches, and build analysis.

Software Reliability

Established: February 7, 2012

This project investigates how factors such as complexity metrics, churn, organizational structure, dependencies, and social networks relate to software defects and failures. This information is used to build prediction models that can help to prioritize tests.

Language-Integrated Quantum Operations: LIQUi|>

Established: March 9, 2016

LIQUi|> is a software architecture and toolsuite for quantum computing. It i includes a programming language, optimization and scheduling algorithms, and quantum simulators. LIQUi|> can be used to translate a quantum algorithm written in the form of a high-level program…

MSR Sentence Completion Challenge

Established: December 8, 2011

The MSR sentence completion challenge is intended to stimulate research in the area of semantic modeling. The challenge set consists of fill-in-the-blank questions similar to those found on the widely used Scholastic Aptitude Test. The sentence completion questions we focus…


Established: November 21, 2011

Powered by WorldWide Telescope A cloud-based user experience, Layerscape employs powerful, everyday tools to analyze and visualize complex Earth and oceanic datasets—enabling scientists to gain environmental insights into Earth. Users can create and share 3-D virtual tours based on their…


Established: November 21, 2011

The streams research project proposes novel architectures, processing techniques, models, and applications to support time-oriented queries over temporal and real-time data streams. This research shipped in 2010 as Microsoft StreamInsight - a commercial stream processing system that is part of…


Established: November 10, 2011

Visually explore, understand, and present data SandDance is a web-based application that enables you to more easily explore, identify, and communicate insights about data. SandDance provides ease of use for data visualizations, pattern identification, trends, and insights. It…

Predictive Analytics for Traffic

Established: September 26, 2011

Machine Learning and Intelligence for Sensing, Inferring, and Forecasting Traffic Flows Machine learning and intelligence are being applied in multiple ways to addressing difficult challenges in multiple fields, including transportation, energy, and healthcare. Research scientists at Microsoft Research have been…


Established: September 19, 2011

Drawbridge is a research prototype of a new form of virtualization for application sandboxing. Drawbridge combines two core technologies: First, a picoprocess, which is a process-based isolation container with a minimal kernel API surface. Second, a library OS, which is…

Verifiable Computing

Verifiable computation schemes enable a client to outsource the computation of a function F on various inputs to an untrusted worker, and then verify the correctness of the returned results. Critically, the outsourcing and verification procedures must be more efficient…


Established: July 20, 2011

Create apps everywhere on all your devices! For Windows Phone and the web. In the TouchDevelop programming environment you write scripts by tapping on the screen. You do not need a separate PC or keyboard. Scripts can perform various tasks…

Secure Multi-Party Computation

Established: June 10, 2011

It is often the case that mutually distrustful parties need to perform a joint computation but cannot afford to reveal their inputs to each other. This can occur, for example, during auctions, data mining, voting, negotiations and business analytics. Secure…


Crowd wisdom among many topics examined at top AI event

By George Thomas Jr., Writer, Microsoft Research Researchers have for years sought to understand the way opinions are formed and disseminated throughout social settings. Is there such a thing as the wisdom of the crowd? New research presented at…

July 2015

Microsoft Research Blog

The 2015 Microsoft Research Faculty Summit breaks records

Walking into the Microsoft Conference Center this morning, I could feel the excitement in the air as 600 academics and researchers started meeting up for the Microsoft Research Faculty Summit in Redmond, Washington. High on the agenda of this, our…

July 2015

Microsoft Research Blog

A Data-Driven Crystal Ball

“Scottish independence: polls show it’s too close to call.” “Scotland’s vote likely to be a nail-biter.” “Scottish independence vote on a knife edge as polls put both Yes AND No ahead.” If there was any consensus in the days running…

September 2014

Microsoft Research Blog

AI Takes to the Skies

As do other recreational pilots, Ashish Kapoor learned during flight training that he shouldn’t count on the accuracy of wind forecasts. The best available forecasts in the United States—from the federal government’s Winds Aloft program—have been based largely on data…

June 2014

Microsoft Research Blog

Enabling Cross-Lingual Conversations in Real Time

Sometimes, a dream needs but a nudge to propel it toward reality. That is exactly what Eric Rudder and Peter Lee delivered to Microsoft’s Machine Translation team about a year ago. Rudder, then Microsoft’s chief research and strategy officer, and…

May 2014

Microsoft Research Blog

Can Robots Have Social Intelligence?

Visiting Eric Horvitz at Microsoft Research headquarters in Redmond, Wash., is a full-service experience. At the building’s first-floor bank of elevators, situated on a busy corridor, a “smart elevator” opens its doors, sensing that you need a ride. When you…

April 2014

Microsoft Research Blog

Microsoft Research Sends 3 to CHI Academy

Posted by Rob Knies  Each year, SIGCHI, the international society for professionals, academics, and students interested in human technology and human-computer interaction (HCI), announces a short list of individuals who have been elected to the CHI Academy. You might…

February 2014

Microsoft Research Blog

Finding More Space in Spectrum

Radio and TV channels, mobile communications, GPS, and emergency communications are just a few examples of applications that occupy the airwaves. The radio spectrum is a finite resource, but demand for bandwidth is accelerating. As a result, the telecommunications industry…

January 2014

Microsoft Research Blog

Collaboration, Expertise Produce Enhanced Sensing in Xbox One

Cyrus Bamji had encountered a challenge. Luckily for him, Microsoft Research had just the solution. Bamji, Microsoft partner hardware architect for Microsoft’s Silicon Valley-based Architecture and Silicon Management group, and members of his team were trying to incorporate a time-of-flight…

October 2013

Microsoft Research Blog

Big Advances in Data-Center Networking

These are exciting times for networking researchers. New developments in data-center networking—and the new efficiencies those advances offer—are making this one of the hottest fields in computing. Major figures in networking and communications research gather in Hong Kong from August…

August 2013

Microsoft Research Blog

Scanning Inside the Box at SIGGRAPH

SIGGRAPH 2013, the 40th International Conference and Exhibition on Computer Graphics and Interactive Techniques, occurs in Anaheim, California, from July 21 to 25. Sponsored by the Association for Computing Machinery, the conference is expected to attract 20,000 professionals eager to…

July 2013

Microsoft Research Blog

Touch to Feel the Virtual World

Haptic technology, which simulates the sense of touch through tactile feedback mechanisms, has been described as “doing for the sense of touch what computer graphics does for vision.” Haptics are already common in devices such as smartphones, where touch sensations…

July 2013

Microsoft Research Blog

A Computer-Vision View of the World

A robot comes up from the subway. How does it know where it is? To most people, this sounds like the opening line of a joke, but for Jamie Shotton, senior researcher in the Computer Vision Group at Microsoft Research…

June 2013

Microsoft Research Blog

Socl Offers New Ways to Be Creative

João Castelo was quick to perceive the exciting new possibilities presented by Socl, the unique social network from Microsoft Research that celebrates the creativity of its users. Committed to the expression of ideas through visually rich posts that are easy…

June 2013

Microsoft Research Blog

New BLINK Apps Even More Creative

Following fast on the heels of its original BLINK app for Windows Phone 8—which captures a burst of images when you take a photo so you can select the best shot—Microsoft Research Redmond is releasing an updated version of BLINK,…

June 2013

Microsoft Research Blog

How technology can bridge language gaps

Speech-to-speech translation promises to help connect our world Among the futuristic gadgets in the classic TV show Star Trek, none seemed more useful than the universal translator, a handheld gizmo that helped foster understanding among intergalactic civilizations. Well, we needn’t travel…

May 2013

Microsoft Research Blog

GeoFlow Takes Data for a 3-D Drive

In November, during the SharePoint Conference 2012, attendees received a Public Preview of project codename “GeoFlow” for Excel, the latest business-intelligence (BI) functionality to be integrated with Microsoft Excel 2013 later this year. As an Excel add-in, GeoFlow provides interactive,…

April 2013

Microsoft Research Blog

Hekaton Breaks Through

By Janie Chang In an online, on-demand world, the ability to respond quickly to requests for data has become a significant challenge. Take bwin, for example. In order to attract and retain customers, bwin, the world’s largest regulated online gaming company,…

December 2012

Microsoft Research Blog

Eliminating Duplicated Primary Data

By Douglas Gantenbein The amount of data created and stored in the world doubles about every 18 months. Some of that data is distinctive—but by no means all of it. A PowerPoint presentation might start bouncing around a work group,…

October 2011

Microsoft Research Blog

Speech Recognition Leaps Forward

By Janie Chang, Writer, Microsoft Research During Interspeech 2011, the 12th annual Conference of the International Speech Communication Association being held in Florence, Italy, from Aug. 28 to 31, researchers from Microsoft Research will present work that dramatically improves the potential…

August 2011

Microsoft Research Blog

Top Researchers Inspire Interns

By Janie Chang, Writer, Microsoft Research Each summer, Microsoft Research facilities from around the world welcome a fresh crop of interns. Microsoft Research considers the intern program a vital part of its interactions with the academic world, with some facilities…

August 2011

Microsoft Research Blog

A Touch Mouse’s Tale

How do you take a concept from research to product? In the case of the Microsoft Touch Mouse, it took a collection of prototypes, collaboration between transatlantic teams, and a lot of user testing. It also helps when the research…

July 2011

Microsoft Research Blog

Faster Servers, Services with FlashStore

By Doug Gantenbein Memory has its faults—and not only the human variety. Hard drives, for instance, can hold terabytes cheaply. But they’re slow. Random-access memory (RAM) is fast but expensive, and data in RAM disappear the instant the power goes…

February 2011

Microsoft Research Blog

Embracing Networking Opportunities

By Rob Knies, Senior Writer, Microsoft Research Networks are ubiquitous in the digital age. Whether you’re at home, in your car, on your phone, or sending files halfway around the world, you’re utilizing computer networks―working with them, communicating on them,…

November 2009

Microsoft Research Blog

Is Your Group Seeking Information? SearchTogether!

By Rob Knies That long-awaited vacation is almost here—just you, your spouse, and your teenage son, all eager to embark on a leisurely adventure to sunny climes for some much-needed R&R. But your planning has not kept pace with your…

June 2008

Microsoft Research Blog

Blogs & news