Fue codesarrollador del lenguaje de programación "BASIC" (el Dartmouth BASIC) en 1964 junto con John George Kemeny.