Noong 1949 , siya ay naglingkod bilang kahaliling direktor ng laboratoryo ng pagkukwenta sa University of Manchester at gumawa ng software para sa kauna unahang inilalaang programang kompyuter na Manchester Mark 1.
