Which universities teach Ada at this point? I’ve found the below list of universities that are supposed to teach Ada:
https://www.adaic.org/learn/academia/universities/
The problem that I see all of the time is that most universities offer a course in Ada once every few years and given how seldom one can take it, few sign up and future courses are canceled due to a lack of interest. Or, there is just a single class which teaches one some basic concepts and nothing more.
Are there universities that embrace Ada/SPARK at least close to the way that they do more popular programming languages?