Hai Duong
About Me
I am a Ph.D. student in Computer Science at George Mason University. I am working with Prof. ThanhVu Nguyen at ROARS Lab on Deep Neural Network Verification.
Research Interests
- DNN Verification and Testing, Proof Generation and Checking
- Formal Methods, Automated Reasoning
News
- 04/2026: Received Outstanding PhD Student Award from GMU (CS).
- 04/2026: Received Applied Scientist Intern at Amazon (AWS).
- 04/2026: Received CVPR’26 Scholar Award.
- 02/2026: CVPR’26 paper on analyzing DNN robustness with dual perturbations (Highlight).
- 01/2026: FSE’26 paper on verifying structural robustness properties of AI systems.
More
- 10/2025: Received NeurIPS’25 Scholar Award.
- 09/2025: NeurIPS’25 paper on generating and checking DNN verification proofs.
- 09/2025: NeurIPS’25 paper on compositional DNN verification (Spotlight).
- 08/2025: NeuralSAT ranked 2nd overall in VNN-COMP’25.
- 04/2025: CAV’25 paper on NeuralSAT verification tool.
- 07/2024: NeuralSAT ranked 2nd overall in VNN-COMP’24. GMU Press.
- 02/2024: FSE’24 paper on new optimizations developed for the NeuralSAT.
- 01/2024: TACAS’24 paper on a verifiable-friendly training method.
- 07/2023: NeuralSAT ranked 4th overall and received New Participant Award in VNN-COMP’23.
Publications
-
Computer Vision and Pattern Recognition (CVPR'26) - Highlight
-
Foundations of Software Engineering (FSE'26)
-
Neural Information Processing Systems (NeurIPS'25) - Spotlight
-
Neural Information Processing Systems (NeurIPS'25)
-
Computer Aided Verification (CAV'25)
-
Foundations of Software Engineering (FSE'24)
-
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24)
Last updated: 04/24/2026