En 1941 se casó con Adele Katz, que era programadora de ENIAC y quien escribió la descripción técnica para ENIAC.