Congratulations to Pengfei Yang who passed his PhD thesis defense on May 26th, 2021.
The title of the PhD thesis is “Rubustness Verification of Deep Neurual Networks Based on Abstract Interpretation and Lipschitz Constants”.
The comittee members are:
- Naijun Zhan (Chair)
- Lijun Zhang
- Wenhui Zhang
- Yongzhi Cao
- Meng Sun
- Zhilin Wu
