Saurabh Joshi

Saurabh Joshi

Principal Researcher

I am a Researcher working with a private company. All the information/views expressed here are my own and do not represent views of any of my past or current employer.

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