Microsoft Research

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.

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.

In the future, every company will be using AI, which means that every company will need a secure infrastructure that addresses AI security concerns.

In this talk, I will describe techniques for recognizing the high-level algorithmic idea of a program and its applications in feedback generation for introductory programming education.

Sampling integers with Gaussian distribution is a fundamental problem that arises in almost every application of lattice cryptography, and it can be both time consuming and challenging to implement.

Today, thousands of scientists and engineers are applying machine learning to an extraordinarily broad range of domains, and over the last five decades, researchers have created literally thousands

Advances in AI promise great benefit to people and organizations. However, as we push the science of AI forward, we need to consider potential downsides, unintended consequences and costly outcomes.

In 1982, Richard Feynman first proposed using a “quantum computer” to simulate physical systems with exponential speed over conventional computers.

The new wave of excitement about AI in recent years has been based on successes in perception tasks or on domains with limited and known dynamics.

Social signals and emotions are fundamental to human interactions and influence memory, decision-making and wellbeing.

Microsoft Cognitive Toolkit (CNTK) is a production-grade, open-source, deep-learning library.

Machine learning (ML) has demonstrated success in various domains such as web search, ads, computer vision, natural language processing (NLP), and more.

As the volume of data goes up, the quality of machine learning models, predictions, and services will improve.

Human society is faced with an unprecedented challenge to mitigate and adapt to changing climates, ensure resilient water supplies, sustainably feed a population of 10 billion, and stem a

Recent research in recurrent neural models, combined with the availability of massive amounts of dialog data, have together spurred the development of a new generation of conversational systems.

This video contains snippets of talks with live captioning, demonstrating the use of Presentation Translator, a Microsoft Garage project.

Over the last decade, algorithmic developments coupled with increased computation and data resources have led to advances in well-defined verticals of AI such as vision, speech recognition, natural

Voice-driven automated agents such as personal assistants are becoming increasingly popular.

As the interaction over the web has increased, incidents of aggression and related events like trolling, cyberbullying, flaming, hate speech, etc. too have increased manifold across the globe.

Effective coordination of post-disaster relief operations depends critically on the availability of reliable situational information, as well as on citizen participation in the operations.

Most of the AI systems today are driven by three key components (i) data (ii) common sense knowledge and (iii) powerful learning algorithms which can harness this data and knowledge to learn task

Tuberculosis (TB) is a completely curable disease, yet over 1 million people die from TB every year.

This talk grounds the experience of harassment sociologically drawing attention to the way that race and gender interact to shape who experiences gender harassment and how they respond to it.

There is widespread sentiment that it is not possible to effectively utilize fast gradient methods (e.g.

Benjamini and Schramm (2001) showed that distributional limits of finite planar graphs with uniformly bounded degrees are almost surely recurrent.

Scientists have long explored the different sensory inputs to better understand how humans perceive the world and control their bodies.

Teaching machines to read, process and comprehend natural language documents and images is a coveted goal in modern AI.

I'll present the incipient tactics engine for F*, a programming language aimed at verification with an SMT backend.