新闻与深度文章
新闻报道 | Ethical Corporation
The disruptors: Lucas Joppa’s mission to use Microsoft’s computational might for good
Microsoft’s first ever chief environment…
新闻报道 | Microsoft Research Podcast
Making the most of micro-moments with Dr. Shamsi Iqbal
Dr. Shamsi Iqbal, a senior researcher in…
新闻报道 | Yahoo Finance
Microsoft releases new tool to verify Ethereum smart contracts
Microsoft has released a new open source…
新闻报道 | Microsoft Research Blog
Researchers work to secure Azure Blockchain smart contracts with formal verification
With a vision of fortifying smart contra…
新闻报道 | Microsoft News
Growing up off the grid paved the way for Microsoft’s chief environmental officer
Lucas Joppa’s childhood playground was a…
Microsoft Research Podcast: Froid and the relational database query quandary with Dr. Karthik Ramachandra
Episode 73 | April 24, 2019 In the wor…
新闻报道 | Microsoft Research Blog
AI for Earth with Dr. Lucas Joppa
AI for Earth is a multi-year, multi-mill…
新闻报道 | Microsoft Research Blog
Making “micromoments” work for you
The concept of microtasks is not new and…
新闻报道 | IEEE Infocom
IEEE INFOCOM Achievement Award
The highest honor that can be bestowed o…