abstract pattern on dark purple background

Microsoft Research Lab – India

视频

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

2020年12月3日

Speakers : Amit Sharma, Emre Kiciman

所属单位 : Microsoft Research

diagram 持续时间   15:18

2020年11月16日

Speakers : Pantazis Deligiannis

所属单位 : Microsoft Research

持续时间   01:03:13

2020年10月8日

Speakers : Karthik Ramachandra

所属单位 : Microsoft Research

Distributed Bounded Model Checking

2020年10月4日

Speakers : Akash Lal

所属单位 : IIT Kanpur

Angelic Checking within Static Driver Verification

2020年10月4日

Speakers : Akash Lal, Shuvendu Lahiri

所属单位 : Microsoft Research

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

2020年9月8日

Speakers : Divya Gupta

所属单位 : Microsoft Research India

持续时间   01:00:26

2020年7月29日

Speakers : Monojit Choudhury

所属单位 : Carnegie Mellon University

持续时间   01:35:59

2020年7月21日

Speakers : Amit Sharma, Cheng Zhang

所属单位 : Microsoft Research, Stanford University, Columbia University, Microsoft Research

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

2020年1月30日

Speakers : Aseem Rastogi

所属单位 : IIT Delhi, CMI, Microsoft Research, IMSC