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.
James Vickers is an Emeritus Professor of Mathematics at the University of Southampton and has published extensively on general relativity. His early research was on the structure of weak singularities in relativity and more recently he has given proofs of both the Penrose and Hawking singularity theorems for low-regularity spacetimes. These show that the singularities predicted by these theorems must be accompanied by unbounded curvature. He has also worked on the asymptotic structure of space-time and used spinors to prove the positivity of the Bondi mass.