ACM Fellows
United Kingdom - 1994
citation
Designed the programming system of EDSAC (1949, Cambridge University) the first usable computer. Incorporated the experience gained in the coherent system (input, output, order codes and ROM facilities) for EDSAC 2 in 1956.