I am second year Ph.D. student at Peking University, a member of Programming Languages Lab, advised by Prof. Zhenjiang Hu. My main interest is in programming languages, and large language model. I am working on topics related to LLM for program verification, simplifying agent implementation. Welcome to discuss with me!

Education

• 2020-2024, Bachelor in Artificial Intelligence.

  Huazhong University of Science and Technology

• 2024-Now, Ph.D. Student in Electronic Information​.

  Programming Languages Lab, Peking University