Saurabh Joshi is an Assistant Professor in the CSE department at IIT Hyderabad. He has been associated with IIT Guwahati, University of Oxford, Microsoft Research and IBM India Research Lab in various capacities. He completed his masters studies from IIT Bombay and doctoral studies from IIT Kanpur.
His research interests lie in Formal Verification, Static Program Analysis, and Constraint Programming. He likes to design and develop tools that can handle real-world benchmarks. Along with his students, he developed Pinaka, a symbolic execution engine which has won accolades in various subcategories at SVCOMP 2019, SVCOMP 2020 and SVCOMP 2021. He has also contributed to OpenWBO and OpenWBO-Inc which are amongst the state-of-the-art MaxSAT solvers in the world winning several accolades in MaxSAT Evaluations from 2014 to 2019.