This page is outdated, see my new home page HERE.

Chenguang Zhu
MSc Student at the Univesity of Toronto


I am a graduate student in the Software Engineering Group at the Department of Computer Science of the University of Toronto. My supervisor is Professor Marsha Chechik. I received my Bachelor of Engineering degree from the Harbin Institute of Technology (Graduated with highest honours).

My research interests mainly focus on program analysis and verification techniques with applications in but not limit to various aspects of software engineering research, including software version history analysis, bug finding, and clone detection.

I'm currently working on creating a benchmark for supporting multiple software analysis research, including change impact analysis, dynamic feature location, and semantic history slicing.




  • University of Toronto Fellowship - Total value: CAD $29,000, 2015 – 2016.

  • National Scholarship - Awarded by the Ministry of Education of China, to the student ranked first in the department. Received the award in two consecutive academic years, 2013 - 2014.

  • Gold Medal in the 16th National Robot-soccer Championships - Awarded by the Chinese Association for Artificial Intelligence, Robot Soccer Committee, Jul. 2014.

  • Graduated with Highest Honours - Awarded to the top 1% of the students graduated from Harbin Institute of Technology, Jul. 2015.

  • First-Class People’s Scholarship - Awarded to the top 1% of the students in the department. Received the award in three consecutive academic years, 2012 - 2014.

Work Experience

  •    University of Toronto

    Sep 2015 - Present

    - I am currently working as a research assistant in the Software Engineering Group, supervised by Prof. Marsha Chechik. I am conducting research on semantic history slicing techniques and creating benchmarks for dynamic discovery of semantic changes.

  •    Carnegie Mellon University & NASA Ames Research Center

    Jun 2016 - Sep 2016

    - I worked as a research intern in the SeaHorn team, with Prof. Arie Gurfinkel and Dr. Temesghen Kahsai. I worked on developing a machine learning based invariant generation technique in the SeaHorn verification framework.

  •    Harbin Instutute of Technology

    May 2014 - Apr 2015

    - I worked as a research assistant in the Space Software Engineering Research Center, supervised by Prof. Tiantian Wang and Prof. Peijun Ma. I developed a token-based code clone detection tool, designed and implemented a clone pairs harmfulness ranking algorithm.

  •    Tencent

    Nov 2014 - Feb 2015

    - I worked as a software engineering intern in the QQMusic iOS team at Tencent. I extended QQMusic iOS app, developed a usage information collection and reporting module by creating protocols for back-end message exchange.

  •    Harbin Institute of Technology

    Mar 2014 - Jul 2014

    - I worked as a research developer in Multi-Agent Robotics Research Center, with Prof. Bingrong Hong. I developed humanoid robots that perform various actions in soccer games, for National Robot-soccer Championships of China.