Early advocate of direct mathematical notation input into machines (Fortran-era ideas).
Stanford Online