Background
I received all my degrees from the University of Bath‘s Department of Mathematical Sciences. They were:
- BSc (hons) Mathematics 1992- doing mainly pure stuff
- MSc Symbolic Computation 1993- a great course, sadly missed
- PhD 1997 – err, see below
Areas of research
I’m mainly interested in pure maths, and by chance this has warped into an interest in many of the areas of computer algebra. A great resource for discrete mathematicians is the Group Pub Forum.
My main area of interest is in strongly typed computer algebra systems such as Axiom and Magma. I am also interested in things like Gap, just because it can do some pure mathsy stuff.
Some research stuff
- MSc 1993, University of Bath
The implementation of various algorithms for permutation groups in the computer algebra system: Axiom - PhD 1997, University of Bath
Order sorted computer algebra and coercions - Paper given at ISSAC’99
Automated coercion for Axiom (pay-to-read)
Other stuff I’ve thought of doing but never have
- Perlgebra: strongly typed computer algebra in Perl
- parallel implementations of some group theory algorithms
- strongly typed computer algebra in Java (or maybe Groovy?)
- some trivial group theory algorithms in Java – work the web!
Hmm. These never really have got off the ground. Sorry folks. 
Not-so Breaking news: (December 2003)
Axiom is now available under an open source licence, and I hope to be able to get some of my work into there.