I am currently a postdoc in the Department of Computer Science at UC Davis, working with Prof. Zhendong Su. I was previously a postdoc at HKUST, working with Prof. Charles Zhang. I received my Ph.D. from The Chinese University of Hong Kong in 2013, and my Bachelor's degree from Zhejiang University in 2009.
My research interests are program analysis and verification.
I have been involved in the following projects as an undergraduate student:
I check for daily conversations.