C. A. R. Hoare

Carta Común · N.º 329136

Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934-Cambridge, Reino Unido, 5 de marzo de 2026), también conocido familiarmente como Tony Hoare, fue un científico británico en computación. Conocido sobre todo por la invención, en 1960 de Quicksort, que es el algoritmo de ordenamiento más ampliamente utilizado en el mundo. También se le conoció por el desarrollo de la Lógica de Hoare, y por el lenguaje formal CSP (tercer trabajo más citado en computación de acuerdo con las estadísticas de Citeseer), utilizado para especificar interacciones entre procesos concurrentes que sirve de base para la definición del lenguaje de programación Occam. En 1956 consiguió el Título de Grado (equivalente a una carrera de cuatro años sin máster ni doctorado) en Cultura Clásica y Filosofía en la Universidad de Oxford. Le asombraba el poder de la lógica matemática para explicar la certeza aparente de los teoremas matemáticos. Sirvió a la Marina Real Británica (1956-1958) donde estudió ruso…

Leer en Wikipedia · Imagen David Monniaux, CC BY-SA 1.0