![Zhongkui Ma](https://popl24.sigplan.org/getProfileImage/zhongkuima/c89368db-7285-41a7-b92e-e59aef1fe9a1/small.jpg?1711476948000)
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
2024
POPL 2024-profile
View general profile
View general profile