Home

About Me¶

I'm a Ph.D. student at Peking University, majoring in computer science and software engnieering. I'm interested in formal verification and LLM code generation, currently working with Prof. Xiong.

Education¶

2020.9~2024.7 PKU Bachelor's Degree
2024.9~Now PKU Ph.D.

Publication¶

Award¶

2021¶

Shenzhen Stock Exchange Scholarship(10%)
Merit Student(10%)

2022¶

Award for Scientific Research(20%)

2023¶

The Third Prize of Peking University Scholarship(20%)
Award for Academic Excellents(20%)

2024¶

Excellent Graduate of Peking University(10%)