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 George 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. At that age, I was old enough to remember and preserve the Vietnamese culture and language, yet still young enough to embrace and absorb the American way of life. 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.