I am currently a Ph.D. student in the Department of Computer Science and Engineering at the Chinese University of Hong Kong, under the supervision of Prof. Michael R. Lyu. I received my B.S. in Computer Science from Zhejiang University in 2009.
My research interests are program analysis and verification. I am currently working on pointer analysis.
I have been involved in the following projects as an undergraduate student:
I check for daily conversations. My current mailing address is: