Наиболее известен как создатель первого действительно работающего программируемого компьютера (1941) и первого языка программирования высокого уровня (1945). Занимался созданием программируемой счётной машины.