world of nic

Former Research

Background

I received all my degrees from the Department of Mathematical Sciences at the University of Bath

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, and from there into the theory of object-oriented type systems

Publications

Other stuff I’ve thought of doing but never have

Open Source Axiom

In 2003 Axiom became available under an open source licence but I still haven’t got around to adding anything to it.