![]() |
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) |
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.