I am Wei Wang, received my PhD in Computer Science at the Courant Institute of Mathematical Sciences in 2016. My advisor is Prof. Clark Barrett. My resume is here.

Email: wwang1109 at

Research Interest

Program analysis and software verification. I was working on Cascade, a static checker of C program.