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.