Students
Back to HomepageI am fortunate to work with the following students:
Postgraduate Students
- Weiqi Wang, Yuan Li, Hanrui Zuo, Zinan Gu, Guowei Tian
Former Mentees
- Ruiyu Zhou (UG@CUHK(SZ)) 2023. Intern on abstract interpretation. Graduated in 2023. Master@CUHK(SZ)
- Ruqing Yang (UG@ZJU) 2022-2023. Thesis topic on type system. Graduated in 2023. MPhil@HKUST