Microsoft Research India

Microsoft Research Lab – India

视频

持续时间   20:46

2021年10月19日

Amit Sharma, Michael Amoako, Kristen Laird, Solon Barocas, Chad Atalla

持续时间   04:51

2021年10月8日

Ranveer Chandra, Andrew Nelson, Riyaz Pishori, Zerina Kapetanovic

Coyote workflow. 持续时间   11:58

2021年4月8日

Pantazis Deligiannis

Amit Sharma and Emre Kiciman headshots next to their Microsoft Research Webinar title 持续时间   1:17:55

2020年12月3日

Amit Sharma and Emre Kıcıman

diagram 持续时间   15:18

2020年11月16日

Suvam Mukherjee

持续时间   01:03:13

2020年10月8日

Karthik Ramachandra

Distributed Bounded Model Checking

2020年10月4日

Prantik Chatterjee

Angelic Checking within Static Driver Verification

2020年10月4日

Shuvendu Lahiri

a person posing for the camera 持续时间   34:12

2020年9月8日

Divya Gupta and Rahul Sharma