ThanhVu Nguyen
Assistant Professor
Office
Research Hall 356
Phone
703-993-6641
Email
Biography

PH.D.,  University of New Mexico, 2014

Software Engineering, Programming Languages • Software Testing, Verification, and Analysis • Invariant Generation, Automatic Program Repair, Highly-Configurable System Analysis