Créditos completos
Photograph by Rama, Wikimedia Commons, Cc-by-sa-2.0-fr
1934 – 2026 · Informático e investigador en verificación de programas
Tony Hoare
Creador de quicksort y autor de aportaciones fundamentales a la lógica de programas y a los procesos concurrentes.
- Algoritmos
- Verificación formal
Aportaciones principales
- Desarrolló el algoritmo de ordenación quicksort.
- Introdujo un enfoque lógico para razonar sobre la corrección de programas.
- Desarrolló Communicating Sequential Processes para describir sistemas concurrentes.
Ordenar y razonar
Tony Hoare desarrolló quicksort, un algoritmo que divide una colección utilizando un pivote para organizar su ordenación. Su trabajo también abordó una pregunta más amplia: cómo expresar y comprobar que un programa cumple lo que se espera de él.
Contratos y concurrencia
La lógica de Hoare relaciona una condición previa, una instrucción y una condición posterior. Posteriormente, Communicating Sequential Processes ofreció herramientas para describir procesos que se comunican. Hoare falleció el 5 de marzo de 2026; su obra sigue siendo una referencia para estudiar corrección y concurrencia.
Conecta con lo que aprendes
Antes de escribir una función, anota qué condiciones deben cumplir sus entradas y qué prometerá el resultado. Esas dos frases ayudan a decidir qué comprobar y a reconocer casos que quedan fuera del contrato del programa.