Junjie Chen (Chinese: 陈俊杰)
Email: junjie [at] cs [dot] nyu [dot] edu


Ph.D. at Courant Institute of Mathematical Sciences, New York University; Major: Computer Science
M.E. at Tsinghua University, Major: Software Engineering
B.E. at Nanjing University of Posts and Telecommunications, Major: Computer Science

I am currently looking for full-time opportunity in academia and industry.

Research Interests:

  • Abstract interpretation and Algebraic and logical abstract domains;
  • Programming languages, Formal Verification and Operational semantics;
  • Static analysis, Theorem proving and Model checking;
  • SAT and Satisfiability modulo theory (SMT);
  • Safety and security of Computer systems.
  • Publications:

  • Junjie Chen and Patrick Cousot. A Binary Decision Tree Abstract Domain Functor. In Sandrine Blazy and Thomas Jensen (Eds), 22nd International Symposium on Static Analysis (SAS 2015), Saint Malo, France, September 12—14, 2015. LNCS 9291, pp. 36—53, © Springer, 2015.

  • Junjie Chen. SMT-Based and Disjunctive Relational Abstract Domains for Static Analysis. Ph.D Thesis, New York University, May 2015.
  • Work experiences:

  • New York University, Research Assistant. (Sept. 2011 - May 2015)

  • IBM China Software Engineer Intern. (July 2008 - March 2009)
  • Teaching experiences:

  • Honors Programming Languages, Spring 2015, Grader.

  • Honors Basic Algorithms, Spring 2011, Grader.
  • Skills:

  • Programming language: OCaml, Java, C/C++, Python, Ruby, SQL, x86 ASM;

  • Web technology: Javascript, HTML, CSS, XML, AJAX, TCP/IP;

  • Operating system: Linux, Mac OS X and Windows;

  • Others: Emacs, Eclipse, GDB.