Cambridge University Computer Lab, William Gates Building, CB3 0FD