I am an Assistant Professor with the Department of CSE at IIT Hyderabad.
Interests
- Constraint Programming
- Formal Verification
- Program Analysis
Education
PhD in Computer Science and Engineering, 2012
IIT Kanpur
MTech in Computer Science and Engineering, 2006
IIT Bombay
BE in Information Technology, 2003
Sardar Patel University, Vallabhvidyanagar