Lei Ma

Ph.D. (The University of Tokyo), ACM member, IEEE member
Associate Professor
School of Computer Science and Technology
Harbin Institute of Technology
92 West Dazhi Street, Nan Gang District,Harbin, China,150001
Office: Room 318, Zonghe Building, Harbin Institute of Technology
Tel: +86-15645073255


(05/2018) Our paper DeepMutation: Mutation Testing of Deep Learning Systems is available on CoRR arXiv.

(03/2018) Our paper DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems is available on CoRR arXiv.

(01/2018) Our paper Characterising Deprecated Android APIs has been accepted to appear in MSR'18.

Our paper Model-based API Testing of Apache ZooKeeper won the IEEE ICST'17 Best Presentation Award .

Our paper Runtime monitoring for concurrent systems has been accepted to appear in RV'16.

Our paper An empirical study on the effects of code visibility on program testability has been accepted to appear in Springer Software Quliaty Journal (SQJ).

Our paper Retrofitting Automatic Testing through Library Tests Reusing has been accepted to appear in ICPC'16.

Our paper Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs has been nominated for the IEEE Best Paper Award in SANER'16.

Our paper GRT: Program-analysis-guided Random Testing won the ACM SIGSOFT Distinguished Paper Award in ASE'15.

Our paper Incremental Web Application Testing using Page Object won the IEEE Best Paper Award in HotWeb'15.

About Me

Currently, I'm an Associate Professor in the School of Computer Science and Technolog at Harbin Institute of Technology. I received a B.E. degree from Department of Computer Science and Engineering of Shanghai Jiaotong Unviersity in 2009, M.E. and Ph.D degrees from The University of Tokyo in 2011 and 2014, respectively. During my Ph.D. program, I studied half a year in the Mathematics and Computer Science department of Technische Universität München(TUM). After receiving the Ph.D., I worked as an Research Fellow in the joint projects collaborated by The University of Tokyo, Chiba University, advanced Industrial Science and Technology (AIST/ITRI) and National Institute of Informatics, and joined in Harbin Institute of Technology through Young Talents Plan.


I love theories, but I like even more to transfer theories into practice!
I have several reserach interests and working directions. My main research interest is software engineering and programming language, in particular software testing, verification, analsyis, evolution, mining, etc. I am also working on green computation and optimization solutions for cloud and big data centers. I am currently in charge of the cloud computing and big data center with more than 50 high performance servers and 3PB storage in Harbin Institute of Technology. In addtion, I recentely start working on projects on genomic data analsyis to uncover life mystery and to search for health solutions through big data techniques.

Selected Publication

Professional Activity


  • Leadership Award (ICECCS'17)
  • IEEE Best Presentation Award (ICST'17)
  • IEEE Best Candidate Paper Award (SANER'16)
  • ACM SIGSOFT Distinguished Paper Award (ASE'15)
  • IEEE Best Paper Award(HotWeb'15)
  • IEEE Best Testing Tool Award (SBST'15)
  • Best Oral Presentation Award (ICCSIT'13)
  • JASSO Hornor scholoarship (2011-2012)
  • JASSO Hornor scholoarship (2013-2014)
  • MEXT Scholarship sponsored by Japanese Government (2009-2010)
  • Excellent Academic Scholarship of Shanghai Jiao Tong University (2005-2009)
  • Project & Funding


  • Co-Principle Investigator. National Key R&D Program of China, 2,580,000 RMB, 2017-2019
  • Project Key Member. National Key R&D Program of China, 1,000,000 RMB, 2017-2020
  • Principle Investigator. National Fundamental Research Funds for the Central Universities, 200,000 RMB, 2016-2018
  • Past

  • Project Member. National High-tech R&D Program of China (863 Program). 2015-2017
  • Project Member. Japan Science and Technology Agency Kiban A project. 2011-2016
  • Project Member. Japan Science and Technology Agency Kiban B project. 2014-2017
  • Principle Investigator. Global COE Program Fund, Japan’s Ministry of Education, Culture, Sports, Science and Technology. 2011-2014
  • Research Assistant, ERATO Igarashi Design Interface Project, Japan Science and Technology Agency. 2011-2012
  • Teaching

    Language Skills

    Language Skills: Chinese (Native), English (Proficient, GRE: V+Q=1440/1600), Japanese (Business level)
    This page was last updated on 12/20/2017.