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