His research interest lies in Software Engienering, Programming Languages, and Formal Methods, and is best known for his work on "DART: Diected Automated Random Testing" and concolic testing. He has been bestowed with many awards including the NSF CAREER Award in 2008, Haifa Verification Conference (HVC) Award in 2009, IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice in 2010, and Sloan Foundation Fellowship in 2011, to mention a few.