Augusta Ada King, Condesa de Lovelace, nacida Augusta Ada Byron, (Londres,10 de diciembre de 1815 - Londres, 27 de noviembre de 1852), conocida habitualmente como Ada Lovelace, fue una matemática y escritora británica conocida principalmente por su trabajo sobre la máquina calculadora mecánica de uso general de Charles Babbage, la Máquina analítica. Entre sus notas sobre la máquina se encuentra lo que se reconoce hoy como el primer algoritmo destinado a ser procesado por una máquina. Como consecuencia, se la describe a menudo como la primera programadora de ordenadores.
Dedujo y previó la capacidad de los ordenadores para ir más allá de los simples cálculos de números, mientras que otros, incluido el propio Babbage, se centraron únicamente en estas capacidades.
En sus notas, Ada Augusta dice que la «máquina analítica» sólo podía dar información disponible que ya era conocida: vio claramente que no podía originar conocimiento. Su trabajo fue olvidado por muchos años, atribuyéndola exclusivamente un papel de transcripción de las notas de Babbage. Este mismo caracterizó su aporte al llamarla su intérprete aunque recientes investigaciones muestran la originalidad de su punto de vista sobre las instrucciones necesarias para el funcionamiento de la «máquina analítica».
Hoy en día se reconoce a Ada Byron como la primera persona en describir un lenguaje de programación de carácter general interpretando las ideas de Babbage, pero reconociéndosele la plena autoría y originalidad de sus aportes. Ada Byron es la madre de la programación informática.
Ada Lovelace publicó en 1843 una serie de influyentes notas sobre el ordenador de Babbage, su «máquina analítica» que nunca llegó a construirse, aunque no las firmó con sus iniciales por miedo a ser censurada por ser mujer. Ada Byron se llamó a sí misma una analista, un concepto realmente moderno para la época.
Ada fue la primera persona en escribir un programa para un ordenador programable, escribió un "plan" donde describe los pasos que permitirían calcular los valores de los números de Bernoulli, su primer programa, que utilizaba dos bucles, con esto demostró la capacidad de bifurcación de la máquina de Babbage.
