..

About

I am a second-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 mining and exploitation. If you have anything you’d like to discuss, feel free to contact me via email.

My Email: fangjian@stu.pku.edu.cn

Publications

FM’24: Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong (2024). Proving Functional Program Equivalence via Directed Lemma Synthesis. The 26th International Symposium on Formal Methods.

Selected Honors & Awards

• Tencent RisingStar CTF (TCTF), Rank 5, 2021
• National University Cybersecurity Association (X-NUCA), Third Prize, 2020
• WCTF (RisingStar), Rank 3, 2019
• 360 Hackathon IoT Cracking Challenge, Rank 2, 2019
• 360 Hackathon IoT Cracking Challenge, Rank 1, 2018