Jianlin Li passed his master thesis defense

Congratulations to Jianlin Li () who passed his master thesis defense on May 31st, 2021.

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

The committee members are:

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