Before joining UTA, he worked for Google and Microsoft Research and received a PhD degree from Georgia Tech. He has received two Distinguished Paper Awards, the first one at the 2006 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) and the second one at the 2007 IEEE/ACM International Conference on Automated Software Engineering (ASE).