About Me

Hi There!

I’m a PhD candidate at the School of Software of 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 received BS 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).