ThanhVu (Vu) Nguyen

Department of Computer Science
George Mason University
Research Hall 356
University Drive
Fairfax, VA 22030

Email: tvn at gmu dot edu
Zoom: Personal room, DynaRoars Research Group meeting (pw: 675238)

About Me

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 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.

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