ThanhVu Nguyen's Website
About Me
I am a faculty in the CS department at George Mason University
About My Work
I do research in Software Engineering and Programming Languages
- dynamic and static analysis, symbolic execution
- invariant generation
- automatic program repairs