ARS 2020: Track on Verification

January 30, 2020
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
Research Area
Research Lab
- Microsoft Research Lab - India
Event
- Microsoft Research India Academic Research Summit 2020

Watch Next

Probabilistic Inference for Controlling Diffusion Models
September 8, 2026
Jiajun He
AI agents for therapeutic reasoning across biological contexts
September 1, 2026
Michelle M. Li
AI, Radio Astronomy, and the Search for Life Beyond Earth
August 20, 2026
Ramiro Caisse Saide
Binomial Flows: Denoising and flow matching for discrete ordinal data
August 18, 2026
Yair Shenfeld
Haechi: Simple Commitment-based Keyless In-person Verifiable Elections
July 23, 2026
Josh Benaloh,

Jiwon Kim
Analyzing Group Chat Encryption in Messaging Applications
July 20, 2026
Akshaya Kumar,

Melissa Chase
Invited Research Talk: Measuring Generalization in EEG Foundation Models
July 20, 2026
Aditya Kommineni,

Dimitra Emmanouilidou
TruthTable: A Verifiable Query Engine
July 9, 2026
Bharath Namboothiry,

Kim Laine
Paza Playbook Walkthrough
March 23, 2026
Mercy Muchai
Vibhasha Playbook Walkthrough
February 5, 2026
Prashant Kodali

Your Privacy Choices