abstract pattern on dark purple background

Microsoft Research Lab – India

视频

持续时间   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

Modular Open Source Identity Platform MOSIP 持续时间   01:04:46

2020年1月30日

Anadi Mishra, Sasikumar Ganesan

2020年1月30日

Bill Thies, Beena Thomas, Greg Moore, Rahul Panicker, Wadhwani AI