In the news | Microsoft Azure Blog
Today, Microsoft becomes the first cloud with a fully managed, first-party service to ingest, persist, and manage healthcare data in the native FHIR format. The Azure API for FHIR® is releasing today in generally availability to all Azure customers.
In the news | The Cornell Daily Sun
In Building 99 on Microsoft’s Redmond, Washington campus, Prof. Jenny Sabin, architecture, unveiled her latest project: an AI interface called Ada that translates people’s facial reactions into color by using a network of a dozen cameras designed to collect people’s…
In the news | Microsoft News Center
LOUISVILLE, Ky., and REDMOND, Wash. — Oct. 21, 2019 — On Monday, Humana and Microsoft Corp. announced a strategic partnership focused on building modern health care solutions for Humana members aimed at improving their health outcomes and making their health…
In the news | Microsoft News Center UK
The UK government is backing a multi-million-pound initiative to help researchers improve artificial intelligence so it can be used more effectively in key areas such as healthcare. The research program, entitled Machine Learning for Tomorrow: Efficient, Flexible, Robust and Automated,…
In the news | NOAA Fisheries
Scientists partnering with tech industry experts to create an innovative Artificial Intelligence application for Arctic marine mammal research. This series of events led NOAA Fisheries scientists at the Alaska Fisheries Science Center to team up with tech industry talent to…
In the news | Nuance
BURLINGTON, Mass., and REDMOND, Wash. — Oct. 17, 2019 — Nuance Communications Inc. and Microsoft Corp. on Thursday announced they have joined forces to help transform healthcare delivery for a more sustainable future. Together, the companies will accelerate the delivery…
Dr. Craig Costello is in the business of safeguarding your secrets. And he uses math to do it. A researcher in the Security and Cryptography group at Microsoft Research, Dr. Costello is among a formidable group of code makers (aka…
| Nikolaj Bjørner and Leonardo de Moura
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated…