Return to Microsoft Research Lab – Redmond
Research in Software Engineering (RiSE)
ニュース&特集
読み込み中…
Microsoft Research ポッドキャスト
HE compilers for Private AI and other game changers with Dr. Olli Saarikivi
Episode 87, August 28, 2019- As computin…
Microsoft Research ブログ
Researchers work to secure Azure Blockchain smart contracts with formal verification
In its young existence, the tamperproof …
Microsoft Research ブログ
Fashion forward: Researchers, designers debut new tech on New York City runway
In his work in visual merchandising, des…
Microsoft Research ブログ
EverCrypt cryptographic provider offers developers greater security assurances
| Jonathan Protzenko と Bryan Parno
Project Everest is a multiyear collabora…
Microsoft Research ブログ
Project Everest: Reaching greater heights in internet communication security
Project Everest is a multiyear collabora…
Microsoft Research ポッドキャスト
Scaling the Everest of software security with Dr. Jonathan Protzenko
Episode 58, January 9, 2019 – Dr. Protze…
Microsoft Research ブログ
Summer of MakeCode for kids
| Jacqueline Russell
Microsoft MakeCode is a web-based learni…
Microsoft Research ブログ
Four Big Bets For Better AI Research: A Personal Journey
| Sumit Gulwani
It’s a big shift to change from being mo…
Microsoft Research ポッドキャスト
Code in the Classroom with Dr. Peli de Halleux
Episode 12, February 15th, 2018 – If you…