ThanhVu (Vu) Nguyen is an assistant professor in 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.

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