Registered user since Mon 10 Jul 2023
Name:Hai Duong
Bio:
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.
Country:Vietnam
Affiliation:George Mason University
Personal website: https://hocdot.github.io/
GitHub: https://github.com/hocdot
Research interests:Formal Methods, Automated Reasoning
Contributions
Using general profile