abstract pattern on dark purple background

Microsoft Research Lab – India

Videos

Duration   01:03:13

October 8, 2020

Karthik Ramachandra

Distributed Bounded Model Checking

October 4, 2020

Prantik Chatterjee

Angelic Checking within Static Driver Verification

October 4, 2020

Shuvendu Lahiri

a person posing for the camera Duration   34:12

September 8, 2020

Divya Gupta and Rahul Sharma

Duration   01:00:26

July 29, 2020

Ashique Khudabukhsh

Duration   01:35:59

July 21, 2020

Amit Sharma, Susan Athey, Elias Bareinboim, Cheng Zhang

ARS 2020: Track on Verification Duration   01:22:14

January 30, 2020

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

Modular Open Source Identity Platform MOSIP Duration   01:04:46

January 30, 2020

Anadi Mishra, Sasikumar Ganesan

January 30, 2020

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