People

Research Engineers:

  • Yi Huang (2022~)

PhD Students:

  • Cheng Weng (2025~, co-supervised with Prof. Xiaoguang Mao): Program Repair
  • Shizhuang Chen (2024~, co-supervised with Prof. Ji Wang): Program Analysis
  • Ronghui Ruan (2024~, co-supervised with Prof. Ji Wang): Program Analysis
  • Renjie Huang (2023~, co-supervised with Prof. Ji Wang): Program Analysis
  • Guangsheng Fan (2022~, co-supervised with Prof. Ji Wang): Program Analysis

Master Students:

  • Xinyu Hu (2024~): TBD
  • Qianlong Hu (2024~): TBD
  • Tingting Luo (2024~): TBD
  • Siyu Liu (2023~, co-supervised with Prof. Chun Huang): Program Analysis
  • Xinyu Wang (2023~): Neural Network Verification
  • Wenyu Zhang (2023~) Program Analysis
  • Minhao Li (2022~): Neural Network Verification
  • Pei Liu (2022~): Program Repair
  • Shifu Yang (2022~, co-supervised with Prof. Ji Wang): Neural Network Verification
  • Shen Zou (2022~): Program Analysis