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)
- Publications: [TOSEM 2026d]
- 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'26a], [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)
- Zhaoyang Tan (PhD from 27)
- Zhenqing Wang (MS from 27)
- Jiajun Shi (PhD from 27, co-supervised with Shenzhen Loop Area Institute)
Final Year Project
- Zhaoyang Tan (Publications: [ASE'26]), Zhenqing Wang, Pengcheng Xiong
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
- 2026:
Kaiyue Li (Publications: [Findings of ACL'26], MS@ZJU),
Junda Zheng (Publications: [SAS'25], PhD@HKU),
Runzhou Li (PhD@ZJU),
Xinyu Lan
- 2025:
Chenhao Gao (Publication: [ISSRE'26], MS@CMU),
Yaoyang Ye (PhD@Purdue), Jiening Siow (Knowledge Engineering Group, MS@THU),
Hanyun Jiang (Publications: [TOSEM'26a], [Findings of ACL'26], 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'26a]
- Awards: 4th place in The 1st Aliyun CTF, 2nd place in DEFCON CTF 30
- Jianhong Zhao