Post Doctoral Fellow
Symbolic Computation Group
David R. Cheriton School of Computer Science
Faculty of Mathematics
University of Waterloo
Ontario, Canada, N2L 3G1
|Home ⋅ Publications ⋅ Talks|
I am a postdoctoral fellow in Symbolic Computation Group at the University of Waterloo, working under supervision of Mark Giesbrecht, George Labahn, Éric Schost and Eugene Zima.
Previously (March-August 2017) I was a postdoctoral fellow in Institute for Algebra at the Johannes Kepler University Linz, working under supervision of Manuel Kauers.
In February 2017 I completed dual doctorates at the Johannes Kepler University, Linz, Austria and the Chinese Academy of Sciences, Beijing, China under joint supervision of Manuel Kauers (Institute for Algebra, JKU) and Ziming Li (Academy of Mathematics and Systems Science, CAS). My PhD thesis is available here (see also version in Chinese).
My scientific interests are computer algebra, symbolic summation and integration, Ore algebras, symbolic asymptotics and the applications of all that in combinatorics and elsewhere.
More information can be found in my CV.