The core of APL was invented by Kenneth E. Iverson when he was a grad student at Harvard but most of the work was paid for by IBM. Iverson joined IBM after Harvard and I believe that he became an "IBM Fellow" out at the T. J. Watson Research Center, which at the time was their "blue sky" research center, not an engineering center. Incidentally I knew and worked briefly with his son on an APL project once.
It is worth noting that IMB mainframe terminals had APL symbols on their keyboards.
APL has become a bit of a relic as far as computer languages go. There are still some investment banks, program traders and hedge funds that still use it in their programming trading departments, outside of that it seems to be have been left to the "antiquarians" and hobbyists in academia. It appears to have fallen by the wayside as a primary language much like LISP or Prolog has. As a mathematical language it has been superseded by "Mathematica," a language that incorporates many of APLs better features.
ADA on the other hand was designed expressly for software engineering. Most particularly its focus was embedded systems and generally in the domain of aerospace. It was created under the auspices of the DoD (but really the USAF.)
It emphasizes modularity, encapsulation and "generic programming." If you know OO concepts, then strip out thing like inheritance, polymorphism and message passing and replace them with a notion of encasulated "flat objects" (called Packages in ADA) that can be "parameterized" and "generic functions." Ada forces the notion of "Code everything once and in one place" approach to engineering. Its basic and most powerful features are Packages and modularity, Exception handling (it is very good at this,) "generic programming "(essentially writing algorythms that operate on unknown and undefined data types,) and parallel and concurrent programming particularly in an embedded real time environment.
It is a actually great language but never managed to get the "mindshare that other languages got. Part of the problem may be that it came just a little too early in the OO "revolution" that occurred in the late 70s and the early 80s. In got superseded by newer languages like C++, smalltalk and later java.
By the way, you sure know your stuff.