Liang He, TCA, Institute of Software, Chinese Academy of Sciences