Pengfei Yang passed his PhD thesis defense

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 Neural Networks Based on Abstract Interpretation and Lipschitz Constants”.

The committee members are:

• Naijun Zhan () (Chair)
• Lijun Zhang
• Wenhui Zhang
• Yongzhi Cao
• Meng Sun ()
• Zhilin Wu ()