Department of Computer Science
George Mason University
Research Hall 356
Fairfax, VA 22030
Email: tvn at gmu dot edu
Zoom: Personal room, DynaRoars Research Group meeting (pw: 675238)
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.