ThanhVu (Vu) Nguyen

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

OO Software Specification and Construction (student feedback from prev class)

Compilers: CSCE 425/825 (student feedback)
Software Testing, Verification, and Analysis: CSCE 467/867 (student feedback)
Automata, Computation, and Formal Languages
Software Engineering II (Specification and analysis of complex software systems)
Software Verification (or Ensuring Software Dependability) Seminar: CSCE 990

DynaRoars Research Group

Publications

My CV contains all of my papers and links to download them.
Google Scholars

Miscs

George Mason letterhead template in \(\LaTeX\): simple LaTeX template for writing letters with university/company (e.g., 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