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 ("导师组"成员)
Final Year Project
- Kaiyue Li, Junda Zheng, Runzhou Li, Haotian Ye, Xinyu Lan
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
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
- 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