paragraph_text: Vodio je tim koji je izmislio FORTRAN), prvi široko korišten viši programski jezik, te je izumio Backus-Naurov oblik (BNF), praktički univerzalni sustav oznaka korišten prilikom definiranja sintakse formalnog jezika. Također je istraživao programiranje na razini funkcija i pokušao ga popularizirati.