I am Wei Wang, 5th year Ph.D. student in Computer Science at the Courant Institute of Mathematical Sciences. My resume is here.
Email: wwang1109 at cims.nyu.edu
My research interest is program analysis, software and hardware verification. My advisor is Prof. Clark Barrett. Currently, I'm working a project Cascade, which is a C programming language software verification platform.