Author Archives: Song Gao

Jianlin Li Passed His Master Thesis Defense

Congratulations to Jianlin Li who passed his Master thesis defense on 26th May, 2021.

The title of the Master thesis is “Symbolic Propagation Based Local Robustness Verification of Deep Neural Networks and Verification Platform”.

The comittee members are:

  • Yongzhi Cao (Chair)
  • Lijun Zhang
  • Zhilin Wu
  • David N. Jansen

Pengfei Yang Passed His PhD Thesis Defense

Congratulations to Pengfei Yang who passed his PhD thesis defense on 26th May, 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