News & features
In the news | Ethical Corporation
The disruptors: Lucas Joppa’s mission to use Microsoft’s computational might for good
Microsoft’s first ever chief environmental officer is aiming to ‘optimise a super-simple equation’ and reduce Microsoft’s carbon footprint and maximise its positive impact by harnessing the power of AI.
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.
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.
Microsoft Research Podcast: Froid and the relational database query quandary with Dr. Karthik Ramachandra
Episode 73 | April 24, 2019 In the world of relational databases, structured query language, or SQL, has long been King of the Queries, primarily because of its ubiquity and unparalleled performance. But many users prefer a mix of…
In the news | Microsoft Research Blog
AI for Earth with Dr. Lucas Joppa
AI for Earth is a multi-year, multi-million dollar initiative to deploy the full scale of Microsoftâs products, policies and partnerships across four key areas of agriculture, water, biodiversity and climate, and transform the way society monitors, models, and ultimately manages…
In the news | Microsoft Research Blog
Making “micromoments” work for you
The concept of microtasks is not new and is most commonly associated with crowdwork. In crowdwork, tasks are short and independent in nature, and workers don’t have to worry about how the tasks are created or how they contribute to…
In the news | IEEE Infocom
IEEE INFOCOM Achievement Award
The highest honor that can be bestowed on a researcher in the INFOCOM community: For work on indoor localization and on exploiting properties of radio frequency signals for goals beyond communications, which still serves as a model for much of…