🔭 I am an associate professor in Computer Science at George Mason University. My research is in Formal Methods and Software Engineering. 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.
- Roars Lab: my research group, publications, etc
- My CV and Google Scholars profile
📫 tvn at roars dot dev