ThanhVu Nguyen (Preferred)
ThanhVu Nguyen
Associate Professor, Computer Science, George Mason University
Joined
May 2025
Names
Emails
****@gmu.edu (Confirmed)
****@roars.dev (Confirmed)
****@gmail.com (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
Publications
Co-Authors
- Adam A. Porter
- Andrew Ruef
- Armando Solar-Lezama
- Benjamin Mariano
- Bocheng Chen
- Claire Le Goues
- David Shriver
- Deepak Kapur
- Didier Ishimwe
- Dong Xu
- Eric Koskinen
- Ferhat Erata
- Germán Regis
- Guangjing Wang
- Guolong Zheng
- Hai Duong
- Hamid Bagheri
- Hengjun Zhao
- Javran Cheng
- Jeffrey S. Foster
- Josh Reese
- KimHao Nguyen
- Linhan Li
- Long Doan
- Marcelo F. Frias