Saurabh Joshi

Position: Assistant Professor
  • Computer Science & Engineering
Ph.D: Indian Institute of Technology Kanpur
Research Interests:
  • Formal Methods
  • Formal Verification
  • Constraint Programming
  • Software Verification
  • Program Analysis
Office Address:

Room: B-514, Academic Block B
Indian Institute of Technology Hyderabad
Kandi-502285, Sangareddy
Telangana, India

E-mail: Contact me
Office Phone: (040) 2301 - 6364