Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]
In the future, every company will be using AI, which means that every company will need a secure infrastructure that addresses AI security concerns. At the same time, the domain of computer security has been revolutionized by AI techniques, including machine learning, planning, and automatic reasoning. What are the opportunities for researchers in both fields—security […]
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. Both techniques are based on dynamic program analysis, in particular on execution trace analysis and constraint solving. The first technique is semi-automated and is aimed at finding performance problems […]
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. Most previous work has focused on the optimization and implementation of integer Gaussian sampling in the context of specific applications, with fixed sets of parameters. We […]
Social signals and emotions are fundamental to human interactions and influence memory, decision-making and wellbeing. As AI systems, in particular, intelligent agents, become more advanced, there is increasing interest in applications that can fulfil tasks goals, social goals and respond to emotional states. Research has shown that cognitive agents with these capabilities can increase empathy, […]
Tuberculosis (TB) is a completely curable disease, yet over 1 million people die from TB every year. One of the major challenges is to ensure that patients complete a full six-month course of antibiotics, which is required to make a full recovery. Using 99DOTS, patients reveal unpredictable hidden phone numbers whenever they dispense medication from […]
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. Gender salience explains how gender moves from the background to the foreground when women experience harassment and racial frames account for the hypersexualization of women […]
I’ll present the incipient tactics engine for F*, a programming language aimed at verification with an SMT backend. In the quest to make both F* proofs faster and more reliable and the language itself more extensible, we provide a way for user programs to manipulate internal compiler structures for breaking down proof obligations or computing […]
