Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Publication
Conditionally correct superoptimization
Microsoft Research Blog
CIKM: Sports bookie wins machine learning competition
Editorial note: The CIKM 2015 Machine Learning Competition asked participants to predict the outcomes of every match in the Australian 2015 football league season. The competition received more than 90 submissions from the machine learning…
Microsoft Research Blog
Here’s why Microsoft cares about basic research — and you should, too
Posted by Jeannette M. Wing The Internet, global positioning systems, the laser, multi-touch displays and search engines. What do these have in common? These technologies, which we take for granted today, came out of basic…
Group
AI for Systems
Our research group investigates a wide variety of topics within distributed systems, operating systems, and networking, while drawing on techniques from machine learning, theory, and privacy to build more powerful systems.