ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Zhongkui Ma

Registered user since Thu 9 Nov 2023

Name:Zhongkui Ma
Bio:

I’m a PhD student from the University of Queensland and supervised by A/Prof. Guangdong Bai. My research interests focus on neural network verification.

Country:Australia
Affiliation:The University of Queensland
Research interests:Neural Network Verification

Contributions

Show activities from other conferences

Using general profile