Hoare, Charles Anthony Richard
Sir Charles Anthony Richard Hoare ( ing. Charles Antony Richard Hoare o Tony Hoare o CAR Hoare ; nacido el 11 de enero de 1934 en Colombo , Ceilán, Imperio Británico , ahora Sri Lanka ) es un científico inglés especializado en informática y tecnología informática . Él es mejor conocido como el desarrollador del algoritmo " quicksort " ( 1960 ), que es, con mucho, el algoritmo de clasificación más popular en la actualidad .
Otros resultados notables de su trabajo son el lenguaje de especificación Z y el modelo de comunicación paralela para procesos secuenciales ( CSP , Communicating Sequential Process). Entre sus logros se encuentra el desarrollo de Hoare Logic , la base científica para la construcción de programas correctos utilizados para definir y desarrollar lenguajes de programación. Hoare produjo una serie de escritos sobre especificación, diseño, implementación y mantenimiento de programas que muestran la importancia de los resultados científicos para aumentar el rendimiento de la computadora y mejorar la confiabilidad del software.
Biografía
Nacido en Colombo en Sri Lanka . Recibió su BA en Lenguas Clásicas de la Universidad de Oxford en 1956 . Sirvió en la Royal Navy de Gran Bretaña en 1956-1958 . Habiendo estudiado ruso , en 1959 Hoare estudió traducción informática en la Universidad Estatal de Moscú , así como teoría de la probabilidad en la Escuela Kolmogorov . En 1960 , debido a la crisis política asociada a la destrucción del avión de reconocimiento U-2 , abandonó la Unión Soviética y empezó a trabajar para una pequeña empresa informática, Elliott Brothers , donde implementó el lenguaje ALGOL60 . Allí comenzó a desarrollar algoritmos.
En 1968 se convirtió en profesor de Informática e Ingeniería en la Queen 's University Belfast .
En 1977 regresó a Oxford como profesor de informática para dirigir el Grupo de Investigación de Programación, cuya tarea era fortalecer los vínculos entre las estructuras industriales, académicas y gubernamentales que trabajan en el campo de la tecnología de la información. Sus áreas de investigación en Oxford son la corrección de las especificaciones de software, el diseño y desarrollo de sistemas críticos y no críticos.
En 1999, se jubiló como profesor honorario y pasó al puesto de investigador principal en Microsoft Research en Cambridge, donde trabaja desde 2011 .
Premios
Los premios incluyen:
- 1980 - Premio Turing ( Premio ACM ) por "sus destacados logros en la definición y diseño de lenguajes de programación" [1] .
- 1981 - Premio en memoria de Harry Hood .
- 1985 - Medalla Faraday .
- 1990 - Pionero de la tecnología informática .
- 2000 - Título de Caballero por Mérito en Educación e Informática, Premio Kyoto [2] .
- 2006 - Premios Fellow del Museo de Historia de la Computación .
- 2011 - Medalla John von Neumann .
En 2013 recibió el título de doctor honorario de la Universidad Nacional de Investigación de Tecnologías de la Información, Mecánica y Óptica de San Petersburgo [3] .
Notas
- ↑ C. ANTONY ("TONY") R. HOARE . — «Por sus contribuciones fundamentales a la definición y diseño de lenguajes de programación.». Recuperado: 1 Septiembre 2021.
- ↑ El premio de Kioto . Consultado el 21 de febrero de 2012. Archivado desde el original el 4 de febrero de 2012. El premio Kyoto / Laureados / Lista por año
- ↑ Presentación del diploma y toga de Doctor Honorario de NRU ITMO a Sir Tony Hoare (14 de mayo de 2013). Recuperado: 1 Septiembre 2021.
Libros
- DO Dahl, E. W. Dijkstra y CAR Hoare, Programación estructurada . Prensa académica , 1972. ISBN 0-12-200550-3 . Traducción: Dahl W., Dijkstra E. , Hoor K., Programación estructurada . M.: "Mir", 1975.
- CAR Hoare, Comunicación de Procesos Secuenciales . Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 de tapa dura o ISBN 0-13-153289-8 de tapa blanda . Traducción: Hoare C., Procesos secuenciales interactivos . M: Mir, 1989.
- CAR Hoare y MJC Gordon, Razonamiento mecanizado y diseño de hardware . Serie internacional Prentice Hall en informática, 1992. ISBN 0-13-572405-8 .
- CAR Hoare y He Jifeng, Teorías unificadoras de la programación . Serie internacional Prentice Hall en informática, 1998. ISBN 0-13-458761-8 .
Enlaces
- http://research.microsoft.com/en-us/people/thoare/ Microsoft Research: breve biografía
- http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Universidad de Oxford-Hoare - Profesor emérito de informática
- https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Transcripción del discurso del Premio Turing de 1980
- http://www.usingcsp.com/ Libro sobre CSP
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||
| Ganadores del Premio Turing | |
|---|---|
| |
| Desarrollo de software | |
|---|---|
| Proceso | |
Conceptos de alto nivel | |
| Direcciones |
|
| Metodologías de desarrollo | |
| Modelos |
|
Figuras notables |
|