Un programa informático (en inglés, computer program) es una lista de instrucciones escritas en un lenguaje de programación para resolver un problema o realizar una tarea relacionada con el tratamiento de la información, organizada según un algoritmo y preparada para que un ordenador la lea, la interprete y la ejecute. El conjunto de los programas informáticos recibe el nombre de software, préstamo del inglés, o de soporte lógico.
Un programa existe en dos formas. El código fuente (source code) es el texto que escribe el programador, legible por las personas, con instrucciones como «si el saldo es menor que cero, mostrar un aviso». El programa ejecutable (executable) es ese mismo programa traducido a las instrucciones numéricas que entiende el procesador, una traducción que hace un compilador o que realiza sobre la marcha un intérprete. Un programa en ejecución, con su memoria y su estado, es lo que el sistema operativo llama un proceso (process).
Se suele considerar que el primer programa informático lo escribió Ada Lovelace en 1843, en las notas que añadió a su traducción de un artículo sobre la máquina analítica de Charles Babbage: una secuencia detallada de operaciones para calcular los números de Bernoulli en una máquina que nunca llegó a construirse. La idea moderna de programa, la de unas instrucciones que se guardan en la memoria de la máquina igual que los datos, procede de la máquina de Turing universal, de 1936, y de la arquitectura de von Neumann, de 1945. Es esa idea la que permite que un mismo ordenador sirva para tareas completamente distintas según el programa que se cargue.
Los programas fallan, y a sus errores se les llama en inglés bugs, bichos. La palabra se usaba ya en la ingeniería del siglo XIX, pero se asocia a un episodio de 1947, cuando el equipo de Grace Hopper en la Universidad de Harvard encontró una polilla atrapada en un relé del ordenador Mark II y la pegó en el cuaderno de registro con la nota «primer caso real de bicho encontrado». Encontrar y corregir esos errores es la tarea de la depuración, que ocupa buena parte del trabajo de cualquier programador. Un programa, junto con los aparatos que lo ejecutan, forma parte de un equipo informático.