ニュース&特集
ニュース | 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…