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…

Meredith Ringel Morris
Microsoft Research Blog

| Meredith Ringel Morris

This year I will be attending the Grace Hopper Celebration of Women in Computing (GHC), where I will be part of a panel discussion on the topic, “Will Artificial Intelligence Eliminate Accessibility Barriers?” (at noon on Wednesday, Sept. 26th). I’ve…