Education: 2001/09--2005/07,B.Sci.,Mathematics,JiangsuUniversity,Jiangsu,China. 2005/09--2010/12,Ph.D.,AppliedMathematics,AcademyofMathematicsandSystemsScience,ChineseAcademyofSciences,Beijing,China. Supervisor:ZimingLi(AMSS,China). 2007/12--2011/02,Ph.D.,ComputerScience,co-directedbetweenAcademyofMathematicsandSystemsScience(Beijing,China)andÉcolePolytechnique(Paris,France). Co-supervisors:FrédéricChyzak(INRIA,France)andZimingLi(AMSS,China). Dissertation:SomeApplicationsofDifferential-DifferenceAlgebratoCreativeTelescoping(versioninChinese) Positions: 2017/03--present,AssociateProfessor,AcademyofMathematicsandSystemSciences,ChineseAcademyofSciences,Beijing,China. 2013/07--2017/03,AssistantProfessor,AcademyofMathematicsandSystemSciences,ChineseAcademyofSciences,Beijing,China. 2015/10--2016/08,Fields-OntarioPostdoctoralFellow,FieldsInstituteandFacultyofMathematics,UniversityofWaterloo,Ontario,Canada WorkingwithStephenM.WattandGeorgeLabahn. 2011/08--2013/07,Post-DoctoralFellow,DepartmentofMathematics,NorthCarolinaStateUniversity,Raleigh,USA. WorkingwithMichaelF.Singer. 2011/02--2011/08,Post-DoctoralFellow,ResearchInstituteforSymbolicComputation,JohannesKeplerUniversityLinz,Hagenberg,Austria. WorkingwithManuelKauers.