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.