Microsoft Research India

Microsoft Research Lab – India

视频

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

持续时间   01:00:26

2020年7月29日

Ashique Khudabukhsh

持续时间   01:35:59

2020年7月21日

Amit Sharma, Susan Athey, Elias Bareinboim, Cheng Zhang

ARS 2020: Track on Verification 持续时间   01:22:14

2020年1月30日

Sanjiva Prasad, S P Suresh, Aseem Rastogi, R Ramanujam