I am Wei Wang, 6th year Ph.D. student in Computer Science at the Courant Institute of Mathematical Sciences. My resume is here.

I am looking for full-time position as software engineer and research scientist.

Email: wwang1109 at


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 static analysis platform.