I am a Ph.D. student in the Department of Computer Science and Engineering at The Hong Kong University of Science and Technology (HKUST), supervised by Dr. Jiasi Shen. I work on the intersection of Programming Languages, Software Engineering and Machine Learning. More specifically, I am currently interested in programming language design and implementation for multi-agent systems, as well as the application of program analysis techniques to improve their efficiency, reliability, and effectiveness.
Prior to joining HKUST, I received my bachelor's degree in software engineering from the School of Computer Science at Wuhan University in 2022, after which I became a research staff member in the Tsinghua Shenzhen International Graduate School (SIGS) at Tsinghua University.
2025 - NeurIPS Scholar Award - HKUST
2022 - Outstanding Graduates - Wuhan University
2021 - Huawei Scholarship - Wuhan University
2021 - Merit Student - Wuhan University
2021 - Excellent Student First Class Scholarship - Wuhan University
2020 - Merit Student - Wuhan University
2020 - Excellent Student Second Class Scholarship - Wuhan University
COMP3111H Honors Software Engineering (TA) - HKUST - 26Fall
COMP4521 Mobile Application Development (TA) - HKUST - 25Fall
COMP2611 Computer Organization(TA) - HKUST - 25Spring
NeurIPS 2026 - Reviewer.
Ecoop 2026 - Sub-reviewer.