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 six PhD students.

There are a few positions (PhD/M.Tech./B.Tech.) available and we are looking for enthusiastic students to join our group.
If you are already admitted in IIT Delhi, please feel free to ask about past, ongoing and possible research projects!