In the news | Innovation at Microsoft
Fusing Art & Science
This piece explores projects that intersect between Science and Art. The idea here is that Art is the bridge to our humanity and enables us to connect with the Science on a deeper, more emotional level.
In the news | Microsoft Research Podcast
Making the most of micro-moments with Dr. Shamsi Iqbal
Dr. Shamsi Iqbal, a senior researcher in the Information and Data Sciences group at Microsoft Research, wants to help you manage your attention better and be more productive at the same time. And sheâs using technology to do it!
In the news | Yahoo Finance
Microsoft releases new tool to verify Ethereum smart contracts
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.
Provably efficient reinforcement learning with rich observations
| Akshay Krishnamurthy
Reinforcement learning, a machine learning paradigm for sequential decision making, has stormed into the limelight, receiving tremendous attention from both researchers and practitioners. When combined with deep learning, reinforcement learning (RL) has produced impressive empirical results, but the successes to…
Researchers work to secure Azure Blockchain smart contracts with formal verification
In its young existence, the tamperproof and distributed ledger technology blockchain has already generated a lot of buzz and is being seen as disruptive, influencing approaches in such diverse areas as financial services, supply chains, and governance. To say its…
In the news | Mila
Visualizing the impact of climate change
Mila's multidisciplinary team is working to bridge the gaps at the intersection of climate science and machine learning.
In the news | Microsoft Research Blog
Researchers work to secure Azure Blockchain smart contracts with formal verification
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.
In the news | Microsoft News
Growing up off the grid paved the way for Microsoft’s chief environmental officer
Lucas Joppa's childhood playground was a forest. No TV. No computers. Now, he's betting our planet's future on technology.