Preprints: Single-exponential Bounds for Diagonals of D-finite Power Series, 2025; with Frederic Chyzak, Pingchuan Ma, and Chaochao Zhu. Telescoping Algorithms for Sigma*-Extensions via Complete Reductions, 2025; with Yiman Gao, Hui Huang, and Carsten Schneider. To appear in the Proceedings of Recent Trends in Computer Algebra, Springer. Creative Telescoping, 2025; with Manual Kauers and Christoph Koutschan. These notes on creative telescoping are based on a series of lectures at the Institut Henri Poincare in November and December of 2023. To appear in the Proceedings of Recent Trends in Computer Algebra, Springer.
Research Experience
2024/04 -- present, Full Professor, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China; 2017/03 -- 2024/04, Associate Professor, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China; 2013/07 -- 2017/03, Assistant Professor, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China; 2015/10 -- 2016/08, Fields-Ontario Postdoctoral Fellow, Fields Institute and Faculty of Mathematics, University of Waterloo, Ontario, Canada, Working with Stephen M. Watt and George Labahn; 2011/08 -- 2013/07, Post-Doctoral Fellow, Department of Mathematics, North Carolina State University, Raleigh, USA, Working with Michael F. Singer; 2011/02 -- 2011/08, Post-Doctoral Fellow, Research Institute for Symbolic Computation, Johannes Kepler University Linz, Hagenberg, Austria, Working with Manuel Kauers.
Education
2001/09 -- 2005/07, B.Sci., Mathematics, Jiangsu University, Jiangsu, China; 2005/09 -- 2010/12, Ph.D., Applied Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China. Supervisor: Ziming Li (AMSS, China); 2007/12 -- 2011/02, Ph.D., Computer Science, co-directed between Academy of Mathematics and Systems Science (Beijing, China) and École Polytechnique (Paris, France). Co-supervisors: Frédéric Chyzak (INRIA, France) and Ziming Li (AMSS, China). Dissertation: Some Applications of Differential-Difference Algebra to Creative Telescoping (version in Chinese).
Background
Research Interests: Symbolic Computation (Symbolic Integration and Summation), Differential and Difference Algebra (Galois Theory), Combinatorics (Wilf-Zeilberger Method), Arithmetic Dynamics (Dynamics of P-Recursive Sequences).