Microsoft Research India

Microsoft Research Lab – India

Vidéos

Amit Sharma and Emre Kiciman headshots next to their Microsoft Research Webinar title Durée   1:17:55

December 3, 2020

Amit Sharma and Emre Kıcıman

diagram Durée   15:18

November 16, 2020

Suvam Mukherjee

Durée   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 Durée   34:12

September 8, 2020

Divya Gupta and Rahul Sharma

Durée   01:00:26

July 29, 2020

Ashique Khudabukhsh

Durée   01:35:59

July 21, 2020

Amit Sharma, Susan Athey, Elias Bareinboim, Cheng Zhang

ARS 2020: Track on Verification Durée   01:22:14

January 30, 2020

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