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