About me
News
- Our paper, Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle, is accepted in FSE 2025. Congratulations to Xiaokun!
- (12/2024) I passed my PhD oral defense and finalized my thesis: Trustworthy Program Generation.
- (11/2024) Our paper Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus was accepted in POPL 2025!
About Me
- My current research interest is program language and software engineering. I also research large language models (LLM) and trustworthy and verified LLM agents with formal methods.
- I was a PhD student at the National University of Singapore under ISEP program starting in August 2020. I got the President’s Graduate Fellowship (PGF).
- My PhD supervisor is Prof Dong Jin Song.
- I graduated from the Department of Computer Science and Engineering at Shanghai Jiao Tong University in June 2020. I am a member of IEEE honor class.
- I also cooperated with Prof David SanĂ¡n, Hou Zhe, Lin Yun, Sun Jun and Liu Yang.
Research Topic
- Program Language and Software Engineering
- Code Generation, Comprehension and Representation
- Formal Methods
- Theorem Proving and Model Checking
- Machine Learning and Deep Learning
- Trustworthy Large Language Model Agent
Personal Interests
- I now love skiing.
- I love diving, exploring underwater worlds, and experiencing the beauty of marine life. I have the Advanced Open Water PADI certification.
- I am interested in badminton, where I enjoy both casual and competitive matches. I organize the weekly badminton matches in the group.
- I was a ZhuDi Player in Ivy Orchestry.
- I have been passionate about chemistry. I competed in the Chinese Chemistry Olympiad and achieved first prize in Zhe Jiang province.