Ph.D. thesis "Algorithms Computing Grobner Bases and Syzygies" (PDF). A computational introduction to Grobner Basis Theory and its applications: polynomials, Laurent polynomials, syzygies, inverse FIR filter and unimodular matrix completion.
Director, Centre for Interdisciplinary Research in Computational Algebra, University of St. Andrews. Leads the international consortium developing GAP. Publications, software.
University of St Andrews. Computational group theory, computational semigroup theory and algebra in general. Papers, seminars, teaching material and software.