A year later, he became Deputy Director of the Computing Machine Laboratory, where he worked on software for one of the earliest stored-program computers—the Manchester Mark 1.
În 1949, a devenit director adjunct al Laboratorului de Calcul de acolo, lucrând la software pentru unul dintre primele calculatoare cu program stocat— Manchester Mark 1.