 After undergraduate study at the University of Cambridge, he completed his PhD at Stanford University under the supervision of Dana Scott in 1968.From 1973 to 1985, he was Professor of Mathematics at Yale University.From 1985 to 1999, he was Professor of Mathematical Logic at Merton College at the University of Oxford.