POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
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 Dr. 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

POPL 2024-profile
View general profile