ThanhVu (Vũ) H. Nguyen

Table of Contents

Assistant Professor

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

Tel: 402-472-5086

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




  • invariant/specification/contract discovery: what does this program do? what properties does it have?
  • program verification: does this program run correctly? does it satisfy certain assertions?
  • program repair/synthesis: how to automatically repair a program? how to synthesize code with respect to some requirements?


  • Guolong Zheng
  • Didier Ishimwe
  • Jared Soundy (Co-advised with Matt Dwyer)


  • CSCE 425/825: Compilers (Spring 2020)
  • CSCE 990: Software Verification (Fall 2016, Fall 2017, Spring 2019)
  • CSCE 467/867: Software Testing, Verification, and Analysis] (Fall 2019)
  • 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)