ThanhVu (Vu) Nguyen

ThanhVu (Vu) Nguyen Department of Computer Science
George Mason University
Research Hall 356
University Drive
Fairfax, VA 22030

Zoom: Personal room, UNSAT Research Group meeting (pw: 675238)

I am an assistant professor in the Department of Computer Science at George Mason University. I am part of the Mason Software Engineering Group. Prior to joining GMU, I was at the University of Nebraska-Lincoln. I obtained my Ph.D. in Computer Science at the University of New Mexico-Albuquerque and did a postdoc at the University of Maryland-College Park. My research is at the intersection of Software Engineering and Programming Languages. Most of my work focuses on invariant/specification discovery, configurable system analysis, and automatic program repair.




  • Guolong Zheng (Ph.D. student)
  • Didier Ishimwe (Ph.D. student)
  • KimHao Nguyen (Undergraduate)
  • Linhan Li (Undergraduate)

Prospective Students: I always recruit motivated graduate and undergraduate students to work with me. If you are a student at GMU, interested in my work, and enjoy programming, let's chat!


  • My CV lists all of my publications and has direct links to PDF copies.
  • Google Scholar also has citation details.