Hier arbeitete er an der Software für einen der ersten echten Computer, den Manchester Mark I, und gleichzeitig weiterhin verschiedenen theoretischen Arbeiten.
hˈiːɾ ˈaɾbaɪtətə ɛɾ an dɛɾ (en)sˈɒftweə(de) fyːɾ ˌaɪnən dɛɾ ˈeːɾstən ˈɛçtən kɔmpjˈuːtɜ, deːn mˈançəstɜ mˈaɾk ˈiː, ʊnt ɡlˈaɪçtsaɪtˌɪç vˈaɪtɜhˌɪn fɛɾʃˈiːdənən tˌeːoːrˈeːtɪʃən ˈaɾbaɪtən.