Congratulations to Xie Li who passed his Ph.D. thesis defense on November 11th, 2025.
The title of the PhD thesis is “Analysis and Verification Approaches Targeting Correctness of C Programs”.
The committee members are:
- Yuan Feng ()
- Yan Cai
- Xiaoming Deng
- Yongzhi Cao
- Zhilin Wu ()

