ThanhVu (Vu) Nguyen

Vu's picture

Bio: ThanhVu (Vu) Nguyen is an assistant professor in the Department of Computer Science at George Mason University. He completed his Ph.D. in Computer Science at the University of New Mexico-Albuquerque and a postdoc at the University of Maryland-College Park.

Vu's research interests are in Software Engineering, Pogramming Languages, and Formal Methods, with a focus on deep neural network verification, dynamic invariant generation, and automatic program repair. He is the recipient of an NSF CAREER Award, an NSF CISE CRII Award, an ACM SIGSOFT/IEEE TCSE Most Influential Paper Award, an ACM SIGEVO Impact Award, a Sigma Xi Award for Excellence in Research, an IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice, an ACM SIGEVO "Humies" Gold Medal Award, a CACM Research Highlight, a NASA Space Grant Graduate Fellowship, and several Distinguished and Best Paper Awards.

More details

I was born in Saigon, Vietnam, but moved to US at a young age and grew up in Harrisburg, Pennsylvania. I received my undergraduate degree in Computer Science from Penn State-University Park and my M.S. from Penn State-Harrisburg, where I was advised by Thang Bui. I earned my Ph.D. in Computer Science from the University of New Mexico-Albuquerque, where I was mentored by Stephanie Forrest and Deepak Kapur. After finishing my Ph.D., I did a two-year postdoc at the University of Maryland-College Park, working with Jeff Foster at PLUM@UMD. Before joining George Mason, I was at the University of Nebraska-Lincoln. During my graduate studies, I had the opportunity to intern at the Naval Research Laboratory and Lockheed Martin.

Family: I met my wife on a Southwest flight. We have three children, all of whom were born while I was an assistant prof. at UNL.


On study leave. Not teaching Spring'23.



Department of Computer Science
George Mason University
Nguyen Engineering Building #4430
4400 University Drive
Fairfax, VA 22030
📬 Email