Students

Back to Homepage

---

I 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