Invented FORTRAN (first practical high-level programming language) and the Backus-Naur form for describing formal language syntax.