Fue miembro del Colegio Darwin, Cambridge en 1964 y se retiró formalmente en 1994, aunque continuó siendo miembro activo del Laboratorio de Computación en la Universidad de Cambridge hasta su muerte.