He received his B.Tech in Computer Science and Engineering from the Indian Institute of Technology Kanpur, India and a M.S. and a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign. He is best known for his work on directed automated random testing and concolic testing. His paper on concolic testing won the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE’05. He received the C.L. and Jane W-S. Liu Award in 2004 for exceptional research promise, the C. W. Gear Outstanding Graduate Award in 2005, and the David J. Kuck Outstanding Ph.D. Thesis Award in 2007 from the UIUC Department of Computer Science. He has received an NSF CAREER Award in 2008.