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