ThanhVu Nguyen (Preferred)
ThanhVu Nguyen
Associate Professor, Computer Science, George Mason University
- Joined May 2025
Names
Emails
****@gmu.edu (Confirmed)
Personal Links
Career & Education History
Associate Professor
Computer Science, George Mason University (gmu.edu)
Present
Advisors, Relations & Conflicts
Expertise
formal methods
Present
neural network verification
Present
formal reasoning
Present
software engineering
Present