ThanhVu (Vu) Nguyen

Life: I was born in Saigon, Vietnam, but moved to US at a young age and grew up in Harrisburg, Pennsylvania. I received my undergraduate degree in Computer Science from Penn State-University Park and my M.S. from Penn State-Harrisburg, where I was advised by Thang Bui. I earned my Ph.D. in Computer Science from the University of New Mexico-Albuquerque, where I was mentored by Stephanie Forrest and Deepak Kapur. After finishing my Ph.D., I did a two-year postdoc at the University of Maryland-College Park, working with Jeff Foster at PLUM@UMD. Before joining George Mason, I was at the University of Nebraska-Lincoln. During my graduate studies, I had the opportunity to intern at the Naval Research Laboratory and Lockheed Martin.

Work: I met my wife on a Southwest flight. We have three children, all of whom were born while I was an assistant prof. at UNL.

• OO Software Specification and Construction: SWE 419/619 (student feedback)
• Compilers: CSCE 425/825 (student feedback)
• Software Testing, Verification, and Analysis: CSCE 467/867 (student feedback)
• Automata, Computation, and Formal Languages
• Software Engineering II (Specification and analysis of complex software systems)
• Software Verification (or Ensuring Software Dependability) Seminar: CSCE 990