- Developed the mathematical theory upon, which all stored program digital computers are modeled ...