People
Research Engineers:
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
