Tony Hoare

Sir Charles Antony Richard Hoare ( / h ɔːr / HOR ; 11 de enero de 1934 – 5 de marzo de 2026), conocido como Sir Tony Hoare o CAR Hoare , fue un científico informático británico que realizó contribuciones fundamentales a los lenguajes de programación , algoritmos , sistemas operativos , verificación formal y computación concurrente . ^{[ 4 ] [ 5 ]} Su trabajo le valió el Premio Turing de la ACM de 1980 , generalmente considerado como la máxima distinción en ciencias de la computación. ^{[ 6 ] [ 7 ]}

Hoare desarrolló el algoritmo de ordenación quicksort en 1959–1960. ^{[ 8 ] [ 2 ]} Desarrolló la lógica de Hoare , una base axiomática para verificar la corrección de programas . ^{[ 9 ]} En la semántica de la concurrencia , introdujo el lenguaje formal de comunicación de procesos secuenciales (CSP) para especificar las interacciones de procesos concurrentes y, junto con Edsger Dijkstra , formuló el problema de los filósofos comensales . ^{[ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ]} Desde 1977, ocupó cargos en la Universidad de Oxford y en Microsoft Research en Cambridge .

Tony Hoare nació en Colombo , Ceilán (actual Sri Lanka) el 11 de enero de 1934, ^{[ 6 ]} de padres británicos; su padre era funcionario colonial y su madre era hija de un plantador de té. Hoare recibió educación privada en Inglaterra en la Dragon School de Oxford y en la King's School de Canterbury . ^{[ 15 ]} Luego estudió Clásicas y Filosofía ("Grandes") en la Universidad de Oxford como estudiante de pregrado en Merton College, Oxford . ^{[ 16 ]} Al graduarse en 1956 hizo 18 meses de Servicio Nacional en la Marina Real , ^{[ 16 ]} donde aprendió ruso. ^{[ 17 ]} Regresó a la Universidad de Oxford en 1958 para estudiar un certificado de posgrado en estadística , ^{[ 16 ]} y fue allí donde comenzó a programar computadoras , habiendo aprendido Autocode en la Ferranti Mercury de Leslie Fox . ^{[ 18 ]} Luego fue a la Universidad Estatal de Moscú como estudiante de intercambio del British Council , ^{[ 16 ]} donde estudió traducción automática bajo la supervisión de Andrey Kolmogorov . ^{[ 17 ]}

En 1960, Hoare abandonó la Unión Soviética y comenzó a trabajar en Elliott Brothers Ltd , ^{[ 16 ]} una pequeña empresa fabricante de computadoras ubicada en Londres. Allí, implementó un compilador para el lenguaje ALGOL 60 y comenzó a desarrollar algoritmos importantes . ^{[ 19 ]}

Hoare participó en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, ^{[ 20 ]} que especificó , mantiene y admite los lenguajes ALGOL 60 y ALGOL 68. ^{[ 21 ]}

Hoare se convirtió en profesor de Ciencias de la Computación en la Universidad Queen's de Belfast en 1968, y en 1977 regresó a Oxford como profesor de Computación para dirigir el Grupo de Investigación en Programación en el Laboratorio de Computación de la Universidad de Oxford (ahora Departamento de Ciencias de la Computación, Universidad de Oxford ), tras la muerte de Christopher Strachey . Se convirtió en el primer profesor Christopher Strachey de Computación desde su creación en 1988 hasta su jubilación en Oxford en 2000. ^{[ 22 ]} Fue profesor emérito allí, y también investigador principal en Microsoft Research en Cambridge , Inglaterra. ^{[ 23 ] [ 24 ] [ 25 ]}

El trabajo más significativo de Hoare se ha centrado en las siguientes áreas: su algoritmo de ordenación y selección ( Quicksort y Quickselect ), la lógica de Hoare , el lenguaje formal que comunica procesos secuenciales (CSP) utilizado para especificar las interacciones entre procesos concurrentes (e implementado en varios lenguajes de programación como occam ), la estructuración de sistemas operativos informáticos mediante el concepto de monitor y la especificación axiomática de lenguajes de programación . ^{[ 26 ] [ 6 ]}

En una conferencia de software en 2009, Hoare se disculpó por haber inventado la referencia nula : ^{[ 27 ] [ 28 ]}

Lo llamo mi error de mil millones de dólares. Fue la invención de la referencia nula en 1965. En aquel entonces, estaba diseñando el primer sistema de tipos integral para referencias en un lenguaje orientado a objetos ( ALGOL W ). Mi objetivo era garantizar que todo uso de referencias fuera absolutamente seguro, con comprobaciones realizadas automáticamente por el compilador. Pero no pude resistir la tentación de incluir una referencia nula, simplemente porque era muy fácil de implementar. Esto ha dado lugar a innumerables errores, vulnerabilidades y fallos del sistema, que probablemente han causado daños y perjuicios por valor de mil millones de dólares en los últimos cuarenta años. ^{[ 29 ]}

Durante muchos años bajo su liderazgo, el departamento de Hoare en Oxford trabajó en lenguajes de especificación formales como CSP y la notación Z. Estos no lograron la aceptación esperada por parte de la industria y, en 1995, Hoare se vio llevado a reflexionar sobre los supuestos originales: ^{[ 30 ]}

Hace diez años, los investigadores de métodos formales (y yo fui el más equivocado de ellos) predijeron que el mundo de la programación acogería con gratitud toda la ayuda que prometía la formalización para resolver los problemas de fiabilidad que surgen cuando los programas se vuelven grandes y críticos para la seguridad. Ahora, los programas son muy grandes y críticos, mucho más allá de la escala que pueden abordarse cómodamente con métodos formales. Ha habido muchos problemas y fallos, pero casi siempre se han atribuido a un análisis inadecuado de los requisitos o a un control de gestión deficiente. Resulta que el mundo no sufre significativamente el tipo de problema que nuestra investigación pretendía resolver originalmente.

Se escribió un artículo conmemorativo de recuerdos en homenaje a Hoare por su 90 cumpleaños. ^{[ 31 ]}

En 1962, Hoare se casó con Jill Pym , miembro de su equipo de investigación, con quien tuvo tres hijos. ^{[ 32 ]} Murió el 5 de marzo de 2026, a los 92 años. ^{[ 33 ] [ 34 ] [ 35 ] [ 2 ] [ 36 ]}

• Dahl, O.-J .; Dijkstra, EW ; Hoare, CAR (1972). Programación estructurada . Academic Press . ISBN 978-0-12-200550-3OCLC 23937947​​ 
• Hoare, CAR (1985). Procesos secuenciales comunicantes . Prentice Hall International Series in Computer Science. ISBN 978-0131532717(tapa dura) o ISBN 978-0131532892(Edición de bolsillo). (Disponible en línea en http://www.usingcsp.com/. Archivado el 1 de febrero de 2021 en Wayback Machine en formato PDF).
• Hoare, CAR (1989). CB, Jones (ed.). Ensayos en ciencias de la computación . Prentice Hall International Series in Computer Science. ISBN 978-0-13-284027-9.
• Hoare, CAR; Gordon, MJC (1992). Razonamiento mecanizado y diseño de hardware . Prentice Hall International Series in Computer Science. ISBN 978-0-13-572405-7OCLC 25712842​​ 
• Hoare, CAR; He, Jifeng (1998). Teorías unificadoras de la programación . Prentice Hall International Series in Computer Science. ISBN 978-0-13-458761-5OCLC 38199961​​ 

 Este artículo incorpora texto disponible bajo la licencia CC BY 4.0 .