![]() |
Program Director, MS Software Engineering George Mason University Nguyen Engineering Building #4430 4400 University Drive Fairfax, VA 22030 tvn@gmu.edu |
Work: I am an associate professor in Computer Science at George Mason University. My research is in Software Engineering and Formal Methods. I received my Ph.D. in Computer Science from the University of New Mexico-Albuquerque and did a postdoc at the University of Maryland-College Park. Before joining Mason, I was at the University of Nebraska-Lincoln. Outside of academia, I have worked at the Naval Research Laboratory and Lockheed Martin.
Personal: I came to the US from Vietnam when I was 11. Initially I was in Hawaii and relocated to Pennsylvania, where I grew up. I met my wife on a Southwest flight. We have three children, all were born while I was an assistant prof. in Nebraska. We are now living in the Northern Virginia/DC area.