My research interests lie primarily in the areas of

, e.g. algorithms for gcd and factorization of various sorts of polynomials.*Computer algebra*, e.g. compiler optimizations for templates.*Programming languages and compilers*, e.g. collaborative inking, mathematical expression editing.*Pen-based computing*, e.g. mathematical web services.*Mathematical knowledge management*

You can visit the site of ORCCA, the Ontario Research Centre for Computer Algebra, of which I am the Director.