Registered user since Sat 24 Apr 2021
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.
|ASE 2022||QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks|
|Show activities from other conferences|
View general profile