SPACER and Z3: Accessible, reliable model checking as theorem proving
| 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
Google Brain, Microsoft plumb the mysteries of networks with AI
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
jStar paper wins “Most Influential OOSPLA Paper 2008”
In the news | Microsoft Transform
Skip the hold music and meet Premera Scout, a chatbot that helps you with health care
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
MassTLC honors Jennifer Chayes with Distinguished Leadership Award
Jennifer Chayes, Microsoft Research Emeritus, received the Massachusetts Technology Leadership Council’s (opens in new tab) (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…
Reflections – the Grace Hopper Conference past and present
| 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…
All about automated machine learning with Dr. Nicolo Fusi
Episode 43, September 26, 2018 - Dr. Nicolo Fusi gives us an inside look at Automated Machine Learning – Microsoft’s version of the industry’s AutoML technology – and shares the story of how an idea he had while working on…