News and Awards

Microsoft has released a new open source tool that will allow for the verification and analysis of smart contracts written in the popular Solidity programming language that is commonly used on the Ethereum blockchain.

With a vision of fortifying smart contracts in Azure Blockchain, the team found a partner in researchers at Microsoft Research working on advanced techniques for ensuring correctness of software programs.

Mila’s multidisciplinary team is working to bridge the gaps at the intersection of climate science and machine learning.

Lucas Joppa’s childhood playground was a forest. No TV. No computers. Now, he’s betting our planet’s future on technology.

“For data scientists, having the right tooling is critically important, and with Azure, we give data scientists an option for accelerated AI,” says Ted Way, senior program manager of Azure Machine Learning (opens in new tab).…

In 2017, Microsoft struck a deal with Seattle-based Adaptive Biotechnologies to develop a blood test with the promise of diagnosing dozens of diseases at once, and as part of the agreement, pledged to invest an undisclosed…

St. Jude Children’s Research Hospital today announced clinical genome sequencing data will be available in real-time on St. Jude Cloud, the world’s largest public repository of pediatric genomics data. The first-of-its-kind initiative will provide researchers…

Nancy Baym, Principal Researcher at Microsoft Research was awarded the 2019 Frederick Williams Prize for Contributions to the Study of Communication Technology. The award recognizes the major contributions and cumulative achievements of senior scholars who…

Microsoft Research Asia (MSRA) has achieved eight top places in the recent machine translation challenge organized by the 2019 fourth Conference on Machine Translation (WMT19), out of the eleven tasks it undertook. Overall, there are…