ThanhVu Nguyen
George Mason University
Current University
George Mason University
Research Areas
Software engineering; programming languages; software testing, verification, and analysis; invariant generation; automatic program repair; and highly configurable system analysis
Background
Nguyen is an assistant professor in Mason’s Computer Science Department
Previously, he was at the University of Nebraska-Lincoln. He has also worked at the Naval Research Laboratory and Lockheed Martin.
He holds a Ph.D., master’s and bachelor’s in Computer Science.
Alma Maters
University of New Mexico- Albuquerque
Penn State University