ThanhVu (Vu) Nguyen
|
Department of Computer Science
|
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.
Students
- 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!
Publications
- My CV lists all of my publications and has direct links to PDF copies.
- Google Scholar also has citation details.
Miscs
- George Mason letterhead template in \(\LaTeX\): for writing letters in LaTeX with GMU logo
- Creating a CV using \(\LaTeX\) and BibLaTeX with conditional output results
- Simple website with css layout that has auto dark/light scheme change