Le sustituyó en la misma institución la "Electronic Discrete Variable Automatic Computer" (EDVAC), en 1949.