Yunhui Zheng  Yunhui Zheng photo       

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash2339

links


more information

More information:  Personal webpage

profile


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.