Welcome to Zhongkui's personal website~
My name is Zhongkui Ma, and now I'm a PhD student
I'm supervised by A/Prof. Guangdong Bai at the University of Queensland (UQ).
Also, welcome to visit our lab TrustLab.
My research interests focus on neural network verification. Meanwhile, I'm interested in theoretical proofs about neural networks.
- [Apr. 2024] I will present our work ReLU Hull Approximation in FPench community monthly meeting on May 2nd at 9:00-10:00 AM pacific time.
- [Apr. 2024] Our paper CORELOCKER: Neuron-level Usage Control is accepted by the 45th IEEE Symposium on Security and Privacy (SP 2024). [PDF][GitHub]
- [Jan. 2024] I present out work, ReLU Hull Approximation, in London, UK. [Video]
- [Jan. 2024] I am serving the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024) as a member of the Artifact Evaluation Committee!
- [Nov. 2023] Our paper ReLU Hull Approximation is accepted by the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). [PDF] [GitHub] [Profile]