Professor Ray d'Inverno is Emeritus Professor in General Relativity at the University of Southhampton. A pioneer in the use of computer algebra in general relativity, Professor d'Inverno developed the early system LAM (Lisp Algebraic Manipulator), which was a precursor to Sheep, the system most used to date in the study of exact solutions and their invariant classification. He also developed the 2+2 formalism for analysing the initial value problem in general relativity. The formalism has also been used to provide a possible route towards a canonical quantization programme for the theory. In addition, he worked in numerical relativity (solving Einstein's equations numerically on a computer) and with others set up the CCM (Cauchy-Characteristic Matching) approach, which is still used in this increasingly important field.
