About Me

Hi There!

I’m a PhD candidate at the School of Software, Tsinghua University, and a member of the Formal Verification Group. I’m supervised by Prof. Fei He. My current research interests are automated program analysis and verification, and to develop both theoretical and practical tools for establishing software safety. I’m also interested in broad topics about programming languages and computational logics.

I graduated from the Department of Computer Science and Techonology of Tsinghua University. Previously, I have done researches on formally verified compiler for synchronous data-flow language (Lustre), and string constriants solving (check out our string solver OSTRICH!) under supervision of Shengyuan Wang and Zhilin Wu respectively.

For more information, you may take a look at my blog (it’s mainly in Chinese).