C. A. R. Hoare
De Wikipedia, la enciclopedia libre
Sir Charles Antony Richard Hoare, también conocido familiarmente como Tony Hoare, es 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, y probablemente el algoritmo de cualquier tipo más utilizado. También se le conoce 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 1960 realizó una implementación del lenguaje Algol. Profesor en Ciencia de la Computación en Belfast en 1968 y en la Universidad de Oxford desde 1977. Actualmente es investigador en el laboratorio de Microsoft Research en Cambridge, Inglaterra.
En 1980 recibió el Premio Turing de la ACM por "sus contribuciones fundamentales a la definición y diseño de los lenguajes de programación". En su discurso de aceptación [1], Hoare realizó la siguiente afirmación humorísticamente:
- "Concluyo que hay dos formas de realizar el diseño de una aplicación: La primera es el hacerla tan sencilla que sea obvio para todos que no tenga deficiencias y la segunda es el hacerla tan complicada que no queden deficiencias obvias."
Su último reto a la comunidad científica es la creación de un Compilador verificante que demuestre la corrección de los programas antes de ejecutarlos.
[editar] Enlaces externos
- Biografía resumida
- The 1980 ACM Turing Award Lecture - Transcripción del discurso de Hoare.
- Most cited articles in Computer Science
- Towards the Verifying Compiler Journal of the ACM (JACM), Vol 50, No 1 (2003) Págs. 63 - 69
