I am a third-year Ph.D. student in Programming Language Lab (PLL) at Peking University. I am advised by Prof. Yingfei Xiong. I am interested in automated theory proving, program verfication and program synthesis. Previously, my research was software vulnerability discovery and exploitation. If you have anything you'd like to discuss, feel free to contact me via email.