Faculty Members
Subodh Sharma
Associate Professor
Concurrent Systems, Static and Dynamic Program Analysis, Model Checking
Research Scholars
Sanjana Singh
Verification of Concurrent Programs under Relaxed Memory
Madhukar Yerraguntla
Verification of Cyber-physical Systems
Abhishek Rose
Synthesis and Superoptimization
Divyanjali
Static Verification of Concurrent Programs through Abstract Interpretation
Prashant Agrawal
Verification of Distributed Systems in Adversarial Setting
Pankaj Upadhyay
Security of IoT IntegrationGraduated Students
Ph.D.s
- Shubhani Gupta, Sr R&D Engineer at Synopsys Inc
- Chandrika Bharadwaj, Research Scientist at Goldman Sachs
- Manjeet Dahiya, Sr. Data Scientist at Delhivery
- Piyus Kedia, Assistant Professor at CSE, IIIT Delhi
- Chinmay Narayan, Engineer at AmuseLabs, after a year at Ashoka University
- Shibashis Guha, Postdoctoral Researcher at Université libre de Bruxelles
Master Students
- Namrata Jain, Software Engineer at Microsoft
- Arpit Aggarwal, Application Developer at Oracle Data Cloud
- Rajat Gupta, Engineer at Qualcomm
- Arun Shankar, at Adobe