news
| Jan 20, 2026 | Excited to share that I have been admitted as a Ph.D. student at Hunan University, starting September 2026, advised by Prof. Yufeng Zhang. Looking forward to the next chapter! |
|---|---|
| Dec 22, 2025 | Paper accepted at TACAS 2026: SMT(LIA) Sampling with High Diversity — joint work with Associate Prof. Yong Lai and Prof. Chuan Luo. |
| Sep 01, 2023 | Started my M.Sc. in Software Engineering at Jilin University, joining Associate Prof. Yong Lai’s group to work on constraint solving and SMT. |