Luego de trabajar con ENIAC, continuó trabajando con BINAC y UNIVAC I.