Research Group at IIT Delhi working in the areas of Verification, Testing, Concurrency, Security & Semantics


VERification, TEsting, Concurrency, Security / Semantics (VERTECS2) is a research group in the Department of Computer Science and Engineering at Indian Institute of Technology Delhi. We work in the areas of formal verification, concurrency, programming languages and security. Our group currently has three core faculty researchers and four Ph.D. students.

Faculty Members

S. Arun Kumar

Sanjiva Prasad

Subodh Sharma

Ph.D. Students

Chandrika Bhardwaj

Chinmay Narayan

Divyanshu Bagga

Shibashis Guha

Sanjana Singh


Agastya Nanda