news
| Mar 01, 2026 | Paper accepted at TACAS 2026 (Springer LNCS): SMT(LIA) Sampling with High Diversity — joint work with Prof. Yong Lai and Prof. Chuan Luo. |
|---|---|
| Oct 01, 2025 | 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! |
| Sep 01, 2023 | Started my M.Sc. in Software Engineering at Jilin University, joining Prof. Yong Lai’s group to work on constraint solving and SMT. |