En 1945, fue nombrado vicedirector del laboratorio de matemáticas de la Universidad de Cambridge, más adelante llamado Laboratorio Informático.