ThanhVu Nguyen’s Personal Website

ThanhVu (Vu) Nguyen is an associate professor of Computer Science and the director of the MS Software Engineering program 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. Before joining Mason, he worked at the University of Nebraska-Lincoln, the Naval Research Laboratory and Lockheed Martin.

Nguyen’s research lies at the intersection of Software Engineering and Formal Methods, focusing on AI safety and program correctness. He is the recipient of the NSF CAREER Award, the NSF CRII Award, an Amazon Research Award, an IEEE TSE Most Influential Paper Award, the ACM SIGSOFT ICSE 10-year Most Influential Paper Award, and the ACM SIGEVO 10-Year Impact Award. He is a senior member of ACM and IEEE.

I came to the US as a refugee from Vietnam when I was 11. Initially, I was in Hawaii and relocated to Pennsylvania, where I grew up. I met my wife on a Southwest flight. We have three children, all born while I was an assistant professor in Nebraska.

• Roars Lab: my research group, publications, etc
• My CV and Google Scholar profile

ThanhVu Nguyen

George Mason University
Nguyen Engineering Building #4430
4400 University Drive
Fairfax, VA 22030

Email: tvn@gmu.edu