ThanhVu (Vu) Nguyen

sang
Department of Computer Science
George Mason University
Nguyen Engineering Building #4430
4400 University Drive
Fairfax, VA 22030
Email: tvn@gmu.edu

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. My work focuses on neural network verification, invariant/specification discovery, configurable system analysis, and automatic program repair.

CV

Teaching

Current
Previous

DynaRoars Research Group

Publications

Miscs