He got his Masters and PhD from University of California Santa Barbara with a distinguished dissertation award. His work is on using symbolic model checking for infinite state string systems and he applied his techniques and tools to the problem of automatic detection and repair of security vulnerabilities in web applications. He published his work in a number of leading conferences and journals such as ICSE, ISSTA, ASE, TACAS, FMSD and IEEE COMPUTER. His dissertation won the 2015 ACM SIGSOFT Outstanding Dissertation Award.