PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Zhongkui Ma

Registered user since Thu 9 Nov 2023

Name:Zhongkui Ma

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

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


Show activities from other conferences

Using general profile