Registered user since Thu 9 Nov 2023
Name:Zhongkui Ma
Bio:
I’m a PhD candidate (third year) at the University of Queensland, supervised by A/Prof. Guangdong Bai. My research interests focus on neural network verification, reachability analysis, trustworthy AI, and AI safety.
Country:Australia
Affiliation:The University of Queensland
Personal website: https://zhongkuima.github.io/
GitHub: https://github.com/ZhongkuiMa
Research interests:Neural Network Verification
Contributions
Using general profile