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
- Yuan Li (PhD from 23)
- Publications: [FSE'25]
- Awards: National scholarship
- Hanrui Zuo (PhD from 24)
- Awards: 3rd in the single-query tracks of OF_ABV, QF_AUFBV, and QF_BVFP at SMT-COMP 2025.
- Zinan Gu (MS from 24)
- Guowei Tian (MS from 24)
- Hanyun Jiang (MS from 25)
- Publications: [TOSEM'26], [Findings of ACL'26]
- Awards: National scholarship, Third Prize in the National College Students Information Security Competition, Provincial Outstanding Graduates
- Kaiyue Li (MS from 26)
- Publications: [Findings of ACL'26]
- Awards: National scholarship, Merit Award in the National College Students Information Security Competition
- Haoxiang Yan (PhD from 26)
- Awards: National scholarship
- Runzhou Li (PhD from 26)
Co-supervised ("导师组"成员)
Final Year Project
- Kaiyue Li, Junda Zheng (Publications: [SAS'25]), Runzhou Li, Xinyu Lan
Former Mentees
Postgraduate
- Weiqi Wang (MS, 2023-2026). State Grid Corporation of China
Intern
- Ao Sun (2025). UG@WHU -> PhD@PKU
- Chenya Sun (2024). UG@BUAA -> PhD@CUHK
- Yiqing Lu (2024). UG@NWPU-> MS@PKU
- Ruiyu Zhou (2023). UG@CUHK(SZ) -> MS@CUHK(SZ) -> PhD@NJU
- Jiewei Chen (2023). GIS, UG@ZJU -> THUFV Lab, PhD@THU
- Jiahui Sun (2023). IE, UG@ZJU -> IPADS, MS@SJTU
Final Year Project
- 2025: Chenhao Gao (MS@CMU), Yaoyang Ye (PhD@Purdue), Jiening Siow (Knowledge Engineering Group, MS@THU), Hanyun Jiang (MS@ZJU)
- 2024: Xutao Zhou, Yitong Li, Xinyue Cai, Haobai Yin, Haowei Cao, Yichi Zhang, Mingming Luo, Hanrui Zuo (PhD@ZJU)
- 2023: Ruqing Yang (TACO Lab, MS@HKUST)
Co-supervised (in at least one research project)
- Jiachen Lu (MS@ZJU) 2022-2025. Ant Group
- Publications: [TOSEM'26]
- Awards: 4th place in The 1st Aliyun CTF, 2nd place in DEFCON CTF 30