I am a Ph.D. student in Computer Science at UWO. I am working with Marc Moreno Maza in ORCCA.

Office :	Middlesex College 327, London
Email :	wpan9 at csd.uwo.ca

• Symbolic Computation
• GPGPU, High Performance Computing

• When does (T) equal sat(T)?
  With Francois Lemaire, Marc Moreno Maza and Yuzhen Xie
  Journal of Symbolic Computation. To appear.
  
• Computation modulo regular chains
  With Xin Li and Marc Moreno Maza
  International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)
  Seoul, Korea, July 28–31, 2009. slides
• When does (T) equal sat(T)?
  With Francois Lemaire, Marc Moreno Maza and Yuzhen Xie
  International Symposium on Symbolic and Algebraic Computation (ISSAC 2008)
  Hagenberg, Austria, July 20–23, 2008. experimental examples
• On the verification of polynomial system solvers
  With Changbo Chen, Marc Moreno Maza and Yuzhen Xie
  Frontiers of Computer Science in China, Vol 2, n.o. 1, 2008.
• The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.
  With Changbo Chen, Francios Lemaire, Liyun Li, Marc Moreno Maza and Yuzhen Xie
  Proceedings of the International Conference on Computational Science and Applications, IEEE Computer Society, pages 342-352, 2008.
• Comprehensive triangular decomposition
  With Changbo Chen, Francios Lemaire, Oleg Golubitsky and Marc Moreno Maza
  Computer Algebra in Scientific Computing (CASC 2007)
  Bonn, Germany, September 16-20, 2007.
• Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.
  with Changbo Chen, Francois Lemaire, Moreno Moreno Maza and Yuzhen Xie
  Proceedings of Computer Algebra Systems and Their Applications, LNCS 4488, pp. 268-271, 2007.
• Uniform Groebner bases for ideals generated by polynomials with parametric exponents
  With Dongming Wang
  International Symposium on Symbolic and Algebraic Computation (ISSAC 2006)
  Genova, Italy, July 9-12, 2006.