ARS 2020: Track on Verification
- Sanjiva Prasad, S P Suresh, Aseem Rastogi, R Ramanujam | IIT Delhi, CMI, Microsoft Research, IMSC
- Microsoft Research India Academic Research Summit 2020
Track on Verification –
Sanjiva Prasad, IIT Delhi ;
S P Suresh, CMI ;
Aseem Rastogi, Microsoft Research.
Track moderator : R Ramanujam, IMSC
-
-
Aseem Rastogi
Senior Principal Researcher
-
-
Watch Next
-
-
-
-
Microsoft Research India - who we are.
- Kalika Bali,
- Sriram Rajamani,
- Venkat Padmanabhan
