Saurabh Joshi

Saurabh Joshi

Assistant Professor, CSE

IIT Hyderabad

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

Latest