![Zhongkui Ma](https://pldi24.sigplan.org/getProfileImage/zhongkuima/2260305d-f674-44fe-af61-d97b095dba91/small.jpg?1720987561000)
Registered user since Thu 9 Nov 2023
Name:Zhongkui Ma
Bio:
I’m a PhD student from the University of Queensland and supervised by Dr. Guangdong Bai. My research interests focus on neural network verification.
Country:Australia
Affiliation:The University of Queensland
Personal website: https://zhongkuima.github.io/
GitHub: https://github.com/ZhongkuiMa
Research interests:Neural Network Verification
Contributions
PLDI 2024-profile
View general profile
View general profile