I am a PhD student at National University of Singapore (NUS) supervised by Prof. Jin Song Dong. Before this, I obtained Bachelor’s Degree (First Class Honours) at NUS with a double major in Computer Science and Statistics.

My research interests are formal methods, programming languages, and software engineering.

Education

• 2024 - Present, PhD in Computer Science, National University of Singapore (NUS)
• 2020 - 2024, Bachelor of Computing (double major in computer science and statistics, graduated with First Class Honours), National University of Singapore (NUS)

Selected Publications

[ASE 2025] PAT-Agent: Autoformalization for Model Checking
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
paper

Selected Awards

• [2023] 3rd prize in the Software Research Achievement Prototype System Competition in CCF ChinaSoft.
• [2018] Cheryl Praeger Medal (Top 1 female contestant in Australia) in the Australian Mathematics Competition (AMC), senior level.

Teaching (TA)

• CP2107 Independent Introduction to CS Research (Odyssey) - AY24/25 Summer Vacation
• CS1101S Programming Methodology - AY25/26 Semester 1
• CS4211 Formal Methods for Software Engineering - AY25/26 Semester 2
• CS6218 Principles of Prog. Languages & Software Engineering - AY25/26 Semester 2