ThanhVu Nguyen's Website

About Me

I am an assistant professor in the CSE department at the University of Nebraska-Lincoln

About My Work

I do research in Software Engineering and Programming Languages

• dynamic and static analysis, symbolic execution
• invariant generation
• automatic program repairs

Publications

My CV contains links to my research papers

Software

Github repos