I am a Research Staff Member at the IBM T.J. Watson Research Center. My interest lies in program analysis of web and mobile applications for testing, debugging, verification and vulnerability detection. I am also interested in string analysis that integrates (string) constraint modelling and solving techniques into program analysis.
I received my PhD from Purdue University where I was advised by Professor Xiangyu Zhang. For my thesis, I investigated techniques for static web application analysis and string constraint solving.