... For Angling may be said to be so like the Mathematics that it can never be fully learned; at least not so fully but that there 
will still be more new experiments left for the trial of other men that succeed us. 

                                                      -- from The Compleat Angler by Izaak Walton 

Research Interests:

• Symbolic Computation
• Differential and Difference Algebra
• Combinatorics (Wilf-Zeilberger Method, Rationality Theorems)

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)

Positions:

• 2017/03 -- present, 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.

Preprints:

1. How to generate all possible rational Wilf-Zeilberger pairs?, 2018.
   Dedicated to the memory of Jonathan M. Borwein and Ann Johnson: [PDF]
   To appear in the ACMES special volume in the Fields Institute Communications series.

2. Apparent Singularities of D-finite Systems, 2017.
   with Manuel Kauers,Ziming Li, Yi Zhang : [PDF]
   To appear in the Journal of Symbolic Computation.

Published Papers: publist

Talks:

1. How to generate all possible WZ-pairs algorithmically? Chinese Mathematical Society 2018 Annual Conference, Guiyang, Guizhou, China, 2018. [Slides]

2. Symbolic Integration: A Brief Introduction. Seminar at the School of Mathematics, Liaoning Normal University, Dalian, China, 2018. [Slides]

3. D-finite Generating Functions in Enumerative Combinatorics. Chinese Congress on Combinatorics and Graph Theory 2018, Hefei, China, 2018. [Slides]

4. Rationality Theorems on D-finite Power Series. Seminar at the School of Mathematical Sciences, East China Normal University, Shanghai, China, 2018. [Slides]

5. Reduction-based Algorithms for Creative Telescoping. Joint International Meeting of CMS-AMS, Shanghai, China, 2018. [Slides]

6. D-finite Functions: Algorithmic, Analytic and Arithmetic Aspects. Computer Mathematics 2017, Xiangtan, China, 2017. [Slides]

7. Power Series with Coefficients from a Finite Set. Lattice walks at the Interface of Algebra, Analysis and Combinatorics (2017), Banff, Canada, 2017. [Slides]

8. Creative Telescoping: Theory and Algorithms. MITACS Seminar Series/ORCCA Joint Lab Meeting, Western University, Canada, 2016. [Slides]

Research Notes (unpublished):

1. A Note on Lipshitz's Lemma 3.
   with Ziming Li, 2011: [PDF].

2. A Note on Ostrogradsky and Horowitz's Method.
   with Ziming Li, 2010: [PDF].

3. A Exercise on Real Elementary Functions in the Book "Symbolic Integration I" (second edition) .
   with Ruyong Feng, Ziming Li, Huaifu Wang, 2008: [PDF].

Teaching:

1. Linear Algebra (2014-2015) at University of Chinese Academy of Sciences.
2. Linear Algebra (2016-2017) at University of Chinese Academy of Sciences.

Seminar and Conferences:

1. Computer Mathematics Seminar
2. Workshop on Combinatorics and Symbolic Computation

Extreme Meter