In Cambridge I was employed on 3 SRC grants for Algebraic Manipulation, initially under the direction of Dr D. Barton, and then for 3 years as the senior worker in the group, which totalled 2 post doctoral workers, 1 post graduate programmer and 3 research students.
Also I started working with Professor R. A. Lyttleton, FRS, on aspects of solar system astronomy (planetary structure, stellar structure and comet formation). I still do a little work in this field, currently focussed on the internal structure of Mercury, but since the death of Professor Lyttleton I doubt that I will do much more. I am eternally grateful for all I learnt from working with Professor Lyttleton.
In Utah I worked with the Symbolic Computation Group, with implementing LISP on a variety of machines, and consideration of the design of a parallel LISP machine as part of the ``Innovative Computing'' project. As part of my post in Utah I also acted as a consultant for Robert S. Barton, Burroughs Corporation, on the B1700 and the design of a novel machine architecture.
In Leeds, I was awarded an SRC grant to use the DAP computer at Queen Mary College, and I continued to work on analytic integration and other aspects of symbolic computation.
In Bath I continued to work on LISP, and especially implementation of Cambridge LISP for PERQ, MC68000 and ORION computers. Architectural work for LISP and logic machines (Alvey Grant in this area) and work on a multi-processor LISP machine was supported in part by the SERC. Computer algebra work, and especially applications in science and engineering, and implementation of REDUCE continued. I also worked on an Arabic language project (I was responsible for the parser based on a novel morphology), and with BUCS worked on the Knowledge Crunching Machine (KCM), in collaboration with ICL. In addition to the visible work I also worked closely with the chief designer for the BIDS data base system, who is an ex-Ph.D. student of mine.
I started a project on Computer Music in Bath, initially with a research student and a number of undergraduate projects. This brings together interests in programming, mathematics and music. I have had eight further research students broadly in this field. We have made progress in algorithmic composition, and also on new sound generation techniques. My last three students to complete were two mathematicians who investigated physical models of sound generation, and one musician on rhythm. I was also a member of the small MIT/Berklee/Analog Devices/Epigon team working on some commercial applications of music technology (e.g. the Taito karaoke system). The work led in part to my involvement with the OLPC project on the audio side. Most recent work has been in applying the Sliding Discrete Fourier Transform and developing the cross-platform Csound synthesis system.
I was a member of the European LISP group who designed a new LISP language; I started the first implementation, called FEEL, and this was developed into YouToo, the most widely used EuLISP system. This project includes a significant flavour of non-numeric parallelism, and this was a major part of my activities.
As a consultant for RAND Corporation, and in Bath, I worked on eager evaluation parallel computation in LISP, and in particular discrete event simulation. This attracted SERC/MOD funding in 1990. I continued to work for RAND for some years on occasion on military projects as a defense analyst.
As Fitch-Norman and later as a director of Codemist Ltd I worked on various algebra, LISP, REDUCE, C, C++ and Fortran compiler projects. Some of these are commercial confidential, but they include collaboration with ARM Ltd, INMOS (and SGS-Thomson) and Japanese companies NEC, Matsushita and Hitachi. My particular technical specialisation for the company is code generation and instruction scheduling.