ARS 2020: Track on Verification
Track on Verification –
Sanjiva Prasad, IIT Delhi ;
S P Suresh, CMI ;
Aseem Rastogi, Microsoft Research.
Track moderator : R Ramanujam, IMSC
- Date:
- Speakers:
- Sanjiva Prasad, S P Suresh, Aseem Rastogi, R Ramanujam
- Affiliation:
- IIT Delhi, CMI, Microsoft Research, IMSC
-
-
Aseem Rastogi
Principal Researcher
-
-
Watch Next
-
-
-
Microsoft Research India - who we are.
Speakers:- Kalika Bali,
- Sriram Rajamani,
- Venkat Padmanabhan
-
-
-
-
AIMI Symposium 2020 - Session 1: Democratizing Healthcare with AI
Speakers:- Ozan Oktay
