En 1953 Backus evoluigis la lingvon Speedcoding, la unuan altnivelan lingvon kreitan por IBM-komputilo, por helpi en softvara disvolviĝo por la IBM 701-komputilo. Programado estis tre malfacila tiutempe, kaj en 1954 Backus kunvenigis teamon por disvolvi kaj difini Fortran por la IBM 704-komputilo. Fortran estis la unua altnivela programlingvo por esti uzata en vastaj lokoj.
Universitato Kolumbio kun bakalaŭra grado en 1949 kaj magistro en 1950, ambaŭ en matematiko