Junjie Chen (Chinese: 陈俊杰)

Ph.D. student

Courant Institute of Mathematical Sciences
Department of Computer Science
New York University

Email: junjie [AT] cs [DOT] nyu [DOT] edu


Research Interest

My research interests lies on Formal Methods, Abstract Interpretation, Program Analysis and verification. I am a member of Analysis of Computer Systems Group at NYU.


Education

M.S. School of software at Tsinghua University.
B.S. School of Computer Science & Technology at NJUPT.