Titles and Organizations
Assistant Professor
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)