Career Profile

Chengpeng Wang is currently a Ph.D student under the supervision of Charles Zhang. He is also a member of Prism group in Cybersecurity Lab @ HKUST.He received his master degree at Tsinghua University. Before this, he received his B.S in Software Engineering and Mathematics(double major) at Tsinghua University.

His main area of research is programming languages, static analysis and code completion. His current research mainly focuses on automatic reasoning about heap-manipulating programs.

Research Experience

Inconsistency Detection in Build Systems

Jan 2019 - now

Presented a novel approach to detect the inconsistencies in build systems which may cause errors in the actual build.

Code Completion Based on Statistical Language Model

May 2018 - Dec 2018

Applied methods from natural language processing to programming languages and implemented a tool for API completion.

Loop Invariant

Sep 2016 - Jan 2017

Implemented the loop invariant algorithm on model checking framework CPAchecker. Applied it to the generation of function summary and used it in real world projects.

Teaching Experience

Haskell: Functional Language Programming

Tsinghua University
Spring 2018, Spring 2019

Automaton and Formal Logic

Tsinghua University
Fall 2019

Introduction to Complex Function

Tsinghua University
Fall 2016

Working Experience

Research Intern

Sourcebrella, Shenzhen
Feb 2019 - Apr 2019

Work on the inconsistency detection of build systems with Gang Fan

ISSTA 2019 Student Volunteer

July 2019

Assist with technical sessions, workshops, tutorials and panels to keep the conferences running smoothly



Research Interest

  • Shape Analysis
  • Build Software Maintenance
  • Code Completion

Skills & Tools


  • Program Analysis
  • Numerical Computation
  • Modern Algebra


  • Python
  • Java
  • Mathematica
  • Matlab
  • LaTex
  • Git


  • MPhil in Software Engineering
    School of Software, Tsinghua University
    2016 - 2019
  • BSc in Mathematics
    Department of Mathematics, Tsinghua University
    2013 - 2016
  • BSc in Software Engineering
    School of Software, Tsinghua University
    2012 - 2016


  • Future Academician Scholarship
    honored 100 students at Tsinghua
  • Scholarship for Academic Excellence
    honered for excellent academic performance


  • Chinese (Native)
  • English (Professional)


  • Reading novels
  • Writing essays
  • Running
  • Table tennis