Antiguo lenguaje de programación derivado del Pascal. Fue diseñado por un equipo liderado por Jean Ichbiah bajo contrato con el Departamento de Defensa de EE.UU. entre los años 1977 y 1983.

Es un lenguaje de fuertemente tipado, y los compiladores hacen múltiples validaciones para gran fiabilidad pues se emplea en aplicaciones críticas, como software para aviones.

Su nombre es en honor a Ada Lovelace, quien supuestamente fue la primera programadora de computadoras de la historia.

Es un lenguaje imperativo y orientado a objetos, con concurrencia y posee fuertes controles estáticos.

Sus versiones son Ada 83, Ada 95 y Ada 2005.

Uno de los compiladores para Ada más empleados es GNAT, que fue desarrollado por la Universidad de Nueva York y es libre. Actualmente lo mantiene AdaCore.