Just for the curious, Ada is used in these industries: - Avionics - ATM - Space - Rail - Automotive - Defense - Security - Medical https://www.adacore.

Just for the curious, Ada is used in these industries: - Avionics - ATM - Space - Rail - Automotive - Defense - Security - Medical https://www.adacore.com/about-ada https://www.adacore.com/about-ada You can find lots of resources here to learn Ada / SPARK: https://learn.adacore.com https://learn.adacore.com or just to see what is up. Alternatively, there are good blog posts, too.