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
Hong Kong University
of Science and Technology, 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
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.