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 (MS from 23)
- Yuan Li (PhD from 23)
- Publications: [FSE 25]
- Awards: National Scholarship
- Hanrui Zuo (PhD from 24)
- Zinan Gu (MS from 24)
- Guowei Tian (MS from 24)
- Hanyun Jiang (MS 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 (Publications: [SAS 25]), Runzhou Li, Haotian Ye, Xinyu Lan
Former Mentees
Intern
- 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 -> PhD@THU
- Jiahui Sun (2023). IE, UG@ZJU -> MS@SJTU
Final Year Project
- Chenhao Gao (2025). Topic: String constraint solving. MS@CMU
- Yaoyang Ye (2025). Topic: Side channel verification. PhD@Purdue
- Jiening Siow (2025). Topic: Efficient predicate abstraction. MS@THU
- Hanyun Jiang (2025). Topic: Machine learning for constraint solving. MS@ZJU
- 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
- Ruqing Yang (2023). Topic: Type system. MS@HKUST
Co-supervised (in at least one research project)
- Jiachen Lu (MS@ZJU) 2022-2025. Ant Group
- Awards: 4th place in The 1st Aliyun CTF, 2nd place in DEFCON CTF 30