Back to homepage

(To my students: Please let me know if I got your record needs to be updated. You are very welcome to update me of your whereabouts and home page.)

---

Current Students

Postgraduate

• Weiqi Wang (Master from 23)
• Yuan Li (Ph.D. from 23)
• Publications: [FSE 25]
• Awards: National Scholarship
• Hanrui Zuo (Ph.D. from 24)
• Zinan Gu (Master from 24)
• Guowei Tian (Master from 24)
• Hanyun Jiang (Master from 25)
• Awards: National Scholarship, Third Prize in the National College Students Information Security Competition, Provincial Outstanding Graduates

Co-supervised ("导师组"成员)

• Jianhong Zhao
• Publications: [TOSEM 25]

---

Former Mentees

Intern

• Ruiyu Zhou (2023). UG@CUHK(SZ) -> Master@CUHK(SZ) -> PhD@NJU
• Jiewei Chen (2023). GIS, UG@ZJU -> PhD@THU
• Chenya Sun (2024). UG@BUAA -> PhD@CUHK
• Yiqing Lu (2024). UG@NWPU-> Master@PKU
• Jiahui Sun (2024). IE, UG@ZJU -> Master@SJTU IPADS
• Publications: [ASE 23]

Final Year Project

• Ruqing Yang (2023). Topic: Type system. Master@HKUST
• Xutao Zhou (2024). Topic: Testing static analyzers
• Yitong Li (2024). Topic: Alias analysis
• Xinyue Cai (2024). Topic: Numerical abstract interpretation
• Haobai Yin (2024). Topic: Bounded model checking
• Haowei Cao (2024). Topic: Machine learning for constraint solving
• Yichi Zhang (2024). Topic: Parallel constraint solving
• Mingming Luo (2024). Topic: Optimization Modulo Theories solving
• Hanrui Zuo (2024). Topic: Quantified constraint solving. PhD@ZJU
• Chenhao Gao (2025). Topic: String constraint solving. Master@CMU
• Yaoyang Ye (2025). Topic: Side channel verification. PhD@Purdue
• Publications: [FSE 25]
• Jiening Siow (2025). Topic: Efficient predicate abstraction. Master@THU
• Hanyun Jiang (2025). Topic: Machine learning for constraint solving. Master@ZJU

Co-supervised (in at least one research project)

• Jiachen Lu (Master@ZJU) 2022-2025. Ant Group
• Awards: 4th place in The 1st Aliyun CTF, 2nd place in DEFCON CTF 30