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


Our paper Model-based API Testing of Apache ZooKeeper has been accepted to appear in ICST'17.

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


  • 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

  • Principle Investigator. National High Level International Research Support Fund. 2016-2018
  • Principle Investigator. National Fundamental Research Funds for the Central Universities. 2016-2018
  • 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/2016.