Junjie Chen (Chinese: 陈俊杰)
Courant Institute of Mathematical Sciences
Department of Computer Science
New York University
Email: junjie [AT] cs [DOT] nyu [DOT] edu
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.
M.S. School of software at Tsinghua University.
B.S. School of Computer Science & Technology at NJUPT.