Microsoft Research

Transactions with strong consistency and high availability simplify building and reasoning about distributed systems. However, previous implementations performed poorly.

I present Project Malmo – an AI experimentation platform built on top of the popular computer game Minecraft, and designed to support fundamental research in artificial intelligence.

Innovation has been at the heart of human progress for centuries. The nature and pace of innovation, however, has changed dramatically over time.

Plenary session at day 1 of the 2010 Microsoft Research Asia Faculty Summit held in Shanghai, China. Presenter: Wei-Ying Ma, Assistant Managing Director, Microsoft Research Asia

Today, most application developers write code without much regard for how quickly it will run. Moreover, once the code is written, it is rare for it to be reengineered to run faster.

[This is a reprise of a keynote talk I gave at PLDI 2016] What do cheating on fuel economy, the London Whale, and building a better mosquito trap have in common?

Magnetic coupling often seems to be mysterious and hard to quantify. This presentation shows how to model it, measure it and use it in circuit analysis and simulation.

The domestic dog is the most phenotypically variable species in the world. Breeds vary dramatically not only in shape, size and behavior, but also in patterns of aging and age-related disease.

My group's research in Human-Computer Interaction focuses on design, prototyping and implementation tools for the era of ubiquitous embedded computing and digital fabrication.

This talk will cover multiple human genetic topics, from discovery to implementation science.

Each year, Microsoft Research sponsors a semester-long class at leading design schools.

Each year, Microsoft Research sponsors a semester-long class at leading design schools.

Much research is being done today on improving existing systems with intelligence. This session focuses instead on the questions to be addressed when designing systems to create and enable AI.

Mobile and cloud app ecosystems are growing at a tremendous pace. Today, there are hundreds of thousands of developers building cloud apps and cloud-backed mobile apps.

The BBC micro:bit is a wearable and programmable device that visibly features a 5×5 LED display, accelerometer, compass, buttons, I/O pins, Micro USB plug, Bluetooth Low Energy antenna, ARM

As Internet evolves, so must transport protocols and congestion control.

Some argue that AI will soon take over most human jobs. Yet, despite advances in automation, IoT and on-demand services are fueling novel worlds of work and productivity.

Optical communication is already ubiquitous in cloud infrastructure.

As scientists and engineers we have a deep desire to work on something that will have a big (positive) global impact. The question is: are we doing this?

Rick Rashid recognizes the Microsoft Research Outstanding Collaborator Award.

Online, networked societies have embarked on a massive shift to take work online.

Molecular biology, healthcare and medicine have been slowly morphing into large-scale, data driven sciences dependent on machine learning, natural language processing, applied statistics, privacy

With the advancement of data production, storage capabilities, communications technologies, computational power, and supporting computational infrastructure, data science is now recognized as a

Over the last 10 years, the cost of sequencing the human genome has come down to around $1,000 per person.

In the first half of this talk, we ask the following question: Can we learn if we start with zero examples, either labeled or unlabeled?

We show how to build indistinguishability obfuscation (iO) for Turing Machines where the overhead is polynomial in the security parameter lambda, machine description |M| and input size |x|

The presentation slide and the complete schedule of Dr. TLA+ Series are available at github.com/tlaplus/DrTLAPlus In this talk, we will discuss Raft and its TLA+ spec.

Neil Harbisson is an avant-garde artist and cyborg activist based in New York.

In light of security challenges that have emerged in a world with complex networks and cloud computing, the notion of functional encryption has recently emerged.

Text is one of the most prominent forms of open data available, from social media to legal cases.