Work Experience

[28/10/2019 - 28/02/2020] Huawei London Research Centre

  • Position: Mobile GPU Intern
  • Project: Micro benchmarking for mobile GPUs
  • Mentor: Graham Connor (Chief GPU Scientist)
  • Final Appraisal: Excellent


(2019). SIF: A Framework for Solidity Contract Instrumentation and Analysis. In proceedings of APSEC 2019 (To appear in December 2019).


(2019). SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In proceedings of APSEC 2019 (To appear in December 2019).

(2019). On the Correctness of GPU Programs. In proceedings of ISSTA 2019.


(2019). CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In proceedings of FASE 2019 (held as part of ETAPS 2019).

PDF Code


Jun 2020 – Jun 2020

Student Volunteer

The 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)

Apr 2020 – May 2020

PC Member for the Artifact Evaluation Track

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)

Jul 2019 – Jul 2019

Student Volunteer

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019)

Apr 2019 – Apr 2019

Student Volunteer

The 2019 European Joint Conferences on Theory and Practice of Software (ETAPS 2019)

Dec 2018


ICSE 2019 SEIP (Software Engineering in Practice) Track


September 2017 – Present
United Kingdom

PhD Candidate

The University of Edinburgh

Doctor of Philosophy in Informatics
September 2016 – August 2017
United Kingdom

MSc Student

The University of Edinburgh

Master of Science in High Performance Computing and Data Science
September 2012 – June 2016

BEng Student

Xuzhou University of Technology

Bachelor of Engineering in Computer Science and Technology


Programming Languages Technical Skills Languages
  • C/C++
  • Java
  • Python
  • Fortran
  • OpenCL
  • MPI
  • OpenMP
  • CUDA
  • OpenGL (ES)
  • Vulkan
  • Mandarin Chinese - Native
  • English - Proficient
  • German - Basic


[Teaching Assistant, Tutor and Marker] Software Testing. School of Informatics, the University of Edinburgh. Jan 2018 - Apr 2018, Jan 2019 - Apr 2019

[Marker] Computer Programming Skills and Concepts. School of Informatics, the University of Edinburgh. Nov 2017 - Dec 2017, Dec 2018 - Jan 2019

[Demonstrator] Introduction to Java Programming. School of Informatics, the University of Edinburgh. Sep 2017 - Dec2017, Sep 2018 - Dec 2018



  • Huawei Scholarship (fully-funded PhD scholarship)
  • Outstanding Graduate Scholarship at Xuzhou University of Technology
  • China National Scholarship of 201415 Academic Year
  • China National Encouragement Scholarship of 201314 Academic Year
  • China National Scholarship of 201213 Academic Year


  • Nominee for Teaching Awards: Best Student Who Tutors Award
  • Certificate of Achievement for Participating in the 6th Annual HPCAC Student Cluster Competition
  • Top Ten Role Models of Study in Xuzhou University of Technology
  • Excellent Graduate of Xuzhou University of Technology
  • Jiangsu Province-Level Excellent Student Cadre

Extra-Curricular & Volunteer Experience

  • [13 Apr 2017-15 Apr] 2017 Volunteer and demonstrator at drop-in event ‘What can supercomputers do’ at Edinburgh International Science Festival
  • [Sep 2013 - Sep 2014] Key volunteer of the 18th Sports Meeting of Jiangsu Province
  • [Dec 2014 - Dec 2015] President of the Student Union of Department of Information & Electrical Engineering, Xuzhou University of Technology