Titles and Organizations
Associate Professor, Department of Computer Science
Contact Information
Email: tvn@gmu.edu
Personal Websites
Biography
ThanhVu Nguyen’s research interests include software engineering; programming languages; software testing, verification, and analysis; invariant generation; automatic program repair; and highly configurable system analysis.
Degrees
- PhD, Computer Science, University of New Mexico (2014)
In the News
May 19, 2025The team’s NeuralSAT advanced the frontiers of trustworthy artificial intelligence, earning second place in a highly competitive field of international teams advancing the formal verification of AI systems.
February 24, 2023An NSF grant looks at Deep Neural Networks (DNNs) within AI technology and the ways it can function safely and reliably within autonomous systems.