I am Wei Wang, received my Ph.D. degree in Computer Science at New York University in 2016, advised by Prof. Clark Barrett and Thomas Wies.

In my Ph.D. years, I worked on Cascade, a static checker for C programs.

Email: wwang1109 at cims dot nyu dot edu

Research Interest

Static program analysis, bounded model checking, symbolic execution and shape analysis.