PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
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

Using general profile