Write a Blog >>
Zhe Zhao

Registered user since Sat 24 Apr 2021

Name:Zhe Zhao
Bio:

Zhe Zhao (George) is a third year PhD candidate at the System and Software Security Lab (S3L) in School of Information Science and Technology, ShanghaiTech university. He received a bachelor degree from Ocean University of China in 2016, major in computer science. His research interest lies in the area of trustworthy AI, program analysis and verification, such as adversarial attacks, neural network testing, etc. His supervisor is Dr. Fu Song.

Country:China
Affiliation:ShanghaiTech University
Research interests:Robustness of Deep Learning, Adversarial Examples, Neural Networks Testing and Verification

Contributions

ASE 2022 QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Show activities from other conferences

ASE 2022-profile
View general profile