ThanhVu (Vũ) H. Nguyen

Assistant Professor
Department of Computer Science & Engineering
#364 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588

Email: tnguyen @ unl.edu
Tel: 402-472-5086

I am an assistant professor in the CSE department at UNL. My research focuses on software engineering and program analysis.

Research

UnSAT: my research group

Teaching

  • CSCE 425/825: Compilers (Spring 2020, Spring 2021)
  • CSCE 990: Software Verification (Fall 2016, Fall 2017, Spring 2019, Spring 2021)
  • CSCE 467/867: Software Testing, Verification, and Analysis (Fall 2019, Fall 2020)
  • CSCE 428/828: Automata, Computation, and Formal Languages (Spring 2017, Spring 2018)
  • SOFT 260: Software Engineering II (Specification and analysis of complex software systems) (Fall 2019)