Learning a new programming language can be fun and interesting. Ada and SPARK, a version of Ada that allows static proof of a program's operation, are very useful for developing high quality software.

The AWARE Disability Management Program at UAB is celebrating “the skills, talent and value employees with disabilities bring to the workplace and to the economy,” said AWARE Program Coordinator and ...