I am Professor of Computer Science at the, .
My main research interest is in non-standard computation
I spent nearly 13 years as a consultant with Logica in Cambridge, specialising in Z specification and proof, and other mathematical modelling, of IT systems.
I applied these techniques to the DeCCo high integrity compiler, and to E6 Smart Card Applications. I also supported Logica's Formaliser formal language tool, which allowed me to do some fun Smalltalk programming.
During the last 5 years of my time at Logica, I was also an Honorary Visiting Professor at the University of York, Department of Computer Science.
I spent 5 years as a Research Scientist at GEC-Marconi in Chelmsford. During that time I worked on ParSiFal ('Parallel Simulation Facility'), a collaborative Alvey project involving Transputers and occam.
I also did my first Z work then, on the collaborative Alvey Admiral project. This involved specifying an access control system in Z, then animating it (which included writing a VT100-graphics user-interface, in Prolog!).
I was a SERC Post-doctoral Research Fellow, andResearch Fellow, at the , . [I provide the obligatory links to these places, although they had no Web sites way back then.]
I continued my doctoral research into relativistic astrophysical plasmas, which involved solving analytical equations the hard way, with pencil and paper, and also writing a numerical radiative transfer simulation, using, at various times, depending on the level of detail, a Cray supercomputer, an IBM 370 mainframe, and a BBC microcomputer.
1979-1980 : University of Cambridge, Department of Applied Mathematics and Theoretical Physics. Postgraduate Tyson Medal)(Part III of the Mathematics Tripos) distinction (
1976-1979 : University of Cambridge, Newnham College. Natural Sciences Tripos (Theoretical Physics) first class honours