Ada

Designed 1977-1983 for the US Department of Defense by Jean Ichbiah's team. Named after Ada Lovelace. A strongly typed, modular language with built-in concurrency, used in aviation, defense, and safety-critical systems.