Guanqin ZHANG

I am Guanqin ZHANG in School of Computer Science and Engineering at University of New South Wales and Data61, CSIRO. My research focuses on the critical intersection of software security, AI verification, and deep neural network (DNN) robustness. My work aims to develop methodologies and tools for verifying neural networks and improving the robustness of deep learning models. Key questions driving my research include:

• How can we quantify and enhance the reliability of deep learning model behaviors?
• What techniques can we employ to verify neural networks and improve the overall robustness of AI systems?
• What best practices should developers and practitioners follow to ensure reliable and robust model development?

I am fortunate to work under the supervision of Scientia Associate Professor Yulei Sui, whose renowned expertise in software security and program analysis (SVF) significantly shapes my research direction. Additionally, I benefit from the valuable guidance of Dr. Dilum Bandara and Dr. Shiping Chen, both from Data61, CSIRO.