The Future is Fusion with Asta Roseway podcast
Microsoft Research Podcast

Episode 44, October 3, 2018 - Asta Roseway gives an inside look at one of the most unconventional labs at Microsoft Research. Located at the intersection of science, technology and art, it’s a lab that insists that technology, like art,…

In the news | Forbes

Microsoft expanded its AI application footprint at the recent Microsoft Ignite conference in Orlando, regaining the market pole position for usable AI tools—from Outlook 365 to Machine Learning Services on the Microsoft Azure Cloud.

In the news | Sage Ocean

Three months ago, I embarked on a new product manager role within SAGE Ocean, an initiative that supports social scientists to do better and more computational research. I had an idea of what that entailed, but like any new starter, I…

SPACER and Z3: Accessible, reliable model checking as theorem proving
Microsoft Research Blog

| Nikolaj Bjørner

“How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field of computer science. Program proving,…

In the news | ZDNet

Some heavy hitters in AI report breakthroughs in getting neural networks to decipher hidden structure of social networks such as Reddit.

Awards | jStar: towards practical verification for Java

In the news | Microsoft Transform

The Health Bot service empowers health care organizations to build intelligent and compliant virtual health assistants and chatbots that improve processes, outcomes and self-service options, and reduce costs

Awards | Massachusetts Technology Leadership Council

Jennifer Chayes, Microsoft Research Emeritus, received the Massachusetts Technology Leadership Council’s (MassTLC) Distinguished Leadership Award. Chayes received the award for her leadership in the areas of machine learning and computational biology. The author of more than 140 academic papers and holder…