ThanhVu (Vũ) H. Nguyen


Assistant Professor

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

Tel: 402-472-5086, Email:

I am an assistant professor in the CSE department at UNL and a member of the E2 software engineering lab. My research focuses on program analysis, verification, and synthesis/repair.


My research focuses on program verification and repair. In particular, I use use dynamic and static analyses to discover program properties, prove program correctness, determine program complexities, and synthesize program repairs.

My work aims to answer the following questions:

  • 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?


  • Foundation of Software Engineering (SOFT 260): Fall 2018
  • Software Verification (CSCE 990): Spring 2019, Fall 2017, Fall 2016
  • Automata, Computation and Formal Languages (CSCE 428/828): Spring 2018, Spring 2017


  • FSE: Program Committee 2019
  • ICSE: Program Committee (Demo Track) 2019