Tony Hoare
De Wikipedia, la enciclopedia libre
  (Redirigido desde C. Hoare )
Saltar a navegación Saltar a búsqueda
Para el ciclista, vea Tony Hoar .

señorTony HoareFRS FREng
Sir Tony Hoare IMG 5125.jpg
Tony Hoare en 2011
Nació
Charles Antony Richard Hoare

(1934-01-11) 11 de enero de 1934 (87 años)
Colombo , Ceilán británico
Otros nombresCOCHE Hoare
alma mater
Conocido por
Premios
Carrera científica
Los camposCiencias de la Computación
Instituciones
Estudiantes de doctorado
Sitio webwww .cs .ox .ac .uk / people / tony .hoare

Sir Charles Antony Richard Hoare FRS FREng [3] (nacido el 11 de enero de 1934) [4] es un informático británico . Desarrolló el algoritmo de clasificación quicksort en 1959-1960. [5] También desarrolló la lógica de Hoare para verificar la corrección del programa y el lenguaje formal que comunica procesos secuenciales (CSP) para especificar las interacciones de procesos concurrentes (incluido el problema de los filósofos de la cena ) y la inspiración para el lenguaje de programación occam . [6] [7] [8] [9] [10][11]

Hoare fue elegido miembro de la Academia Nacional de Ingeniería en 2006 por sus contribuciones fundamentales a la informática en las áreas de algoritmos, sistemas operativos y lenguajes de programación.

Educación y vida temprana

Tony Hoare nació en Colombo , Ceilán (ahora Sri Lanka ) de padres británicos; su padre era un funcionario colonial y su madre era hija de un sembrador de té. Hoare se educó en Inglaterra en la Dragon School de Oxford y la King's School de Canterbury . [12] Luego estudió Clásicos y Filosofía ("Grandes") en Merton College, Oxford . [13] Al graduarse en 1956 hizo 18 meses de Servicio Nacional en la Royal Navy , [13] donde aprendió ruso.[14] Regresó a la Universidad de Oxford en 1958 para estudiar un certificado de posgrado en estadística , [13] y fue aquí donde comenzó a programar computadoras , despuésde que Leslie Fox le enseñara Autocode en el Ferranti Mercury . [15] Luego fue a la Universidad Estatal de Moscú comoestudiante de intercambio del British Council , [13] donde estudió traducción automática con Andrey Kolmogorov . [14]

Investigación y carrera

En 1960, Hoare dejó la Unión Soviética y comenzó a trabajar en Elliott Brothers Ltd , [13] una pequeña empresa de fabricación de computadoras ubicada en Londres. Allí, implementó el lenguaje ALGOL 60 y comenzó a desarrollar algoritmos importantes . [16] [17]

Estuvo involucrado 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 y Cálculos Algorítmicos, [18] que especificaba , mantiene y da soporte a los lenguajes ALGOL 60 y ALGOL 68 . [19]

Se convirtió en profesor de Ciencias de la Computación en la Queen's University de Belfast en 1968, y en 1977 regresó a Oxford como profesor de Computación para dirigir el Grupo de Investigación de 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 . Ahora es profesor emérito allí y también es investigador principal de Microsoft Research en Cambridge , Inglaterra. [20] [21] [22]

El trabajo más significativo de Hoare ha sido en las siguientes áreas: su algoritmo de clasificación y selección ( Quicksort y Quickselect ), la lógica de Hoare , el lenguaje formal que comunica los procesos secuenciales (CSP) utilizado para especificar las interacciones entre procesos concurrentes , la estructuración de los sistemas operativos informáticos utilizando el monitor. concepto y la especificación axiomática de los lenguajes de programación . [23] [24]

Disculpas y retractaciones

Hablando en una conferencia de software en 2009, Tony Hoare se disculpó por inventar la referencia nula : [25]

Yo lo llamo mi error de mil millones de dólares. Fue la invención de la referencia nula en 1965. En ese momento, estaba diseñando el primer sistema de tipos completo para referencias en un lenguaje orientado a objetos ( ALGOL W ). Mi objetivo era garantizar que todo uso de referencias fuera absolutamente seguro, y que el compilador las verificara automáticamente. Pero no pude resistir la tentación de poner una referencia nula, simplemente porque era muy fácil de implementar. Esto ha dado lugar a innumerables errores, vulnerabilidades y caídas del sistema, que probablemente han causado mil millones de dólares de dolor y daño en los últimos cuarenta años. [26]

Durante muchos años bajo su dirección, departamento de Oxford de Hoare trabajó en lenguajes de especificación formal como CSP y Z . Estos no lograron la asimilación esperada por la industria, y en 1995 Hoare se vio obligado a reflexionar sobre los supuestos originales: [27]

Hace diez años, los investigadores de métodos formales (y yo era el más equivocado entre ellos) predijeron que el mundo de la programación acogería con gratitud cada ayuda prometida por la formalización para resolver los problemas de confiabilidad que surgen cuando los programas se vuelven más grandes y más críticos para la seguridad. Los programas se han vuelto ahora muy amplios y muy críticos, mucho más allá de la escala que se puede abordar cómodamente con métodos formales. Ha habido muchos problemas y fallas, pero casi siempre se han atribuido a un análisis inadecuado de los requisitos o un control de gestión inadecuado. Resultó que el mundo simplemente no sufre de manera significativa el tipo de problema que originalmente se pretendía resolver con nuestra investigación.

Libros

  • Dahl, O.-J. ; Dijkstra, EW ; Hoare, CAR (1972). Programación estructurada . Prensa académica . ISBN 978-0-12-200550-3. OCLC  23937947 .
  • CAR Hoare (1985). Comunicación de procesos secuenciales . Serie internacional de Prentice Hall en informática. ISBN 978 a 0131532717 (tapa dura) o ISBN 978 a 0131532892 (Paperback). (Disponible en línea en http://www.usingcsp.com/ en formato PDF).  
  • Hoare, CAR; Gordon, MJC (1992). Razonamiento mecanizado y diseño de hardware . Serie internacional de Prentice Hall en informática. ISBN 978-0-13-572405-7. OCLC  25712842 .
  • Hoare, CAR; Él, Jifeng (1998). Teorías unificadoras de la programación . Serie internacional de Prentice Hall en informática. ISBN 978-0-13-458761-5. OCLC  38199961 .

Personal

En 1962, Hoare se casó con Jill Pym, miembro de su equipo de investigación. [28]

Premios y honores

  • Miembro distinguido de la British Computer Society (1978)
  • Premio Turing por "contribuciones fundamentales a la definición y diseño de lenguajes de programación ". El premio le fue entregado en la Conferencia Anual de ACM en Nashville, Tennessee , el 27 de octubre de 1980, por Walter Carlson, presidente del comité de Premios. Una transcripción del discurso de Hoare [29] se publicó en Communications of the ACM . [dieciséis]
  • Premio en memoria de Harry H. Goode (1981)
  • Miembro de la Royal Society (1982) [30]
  • Doctorado Honoris Causa en Ciencias por la Queen's University de Belfast (1987)
  • Doctorado Honoris Causa en Ciencias, de la Universidad de Bath (1993) [31]
  • Miembro honorario, Kellogg College, Oxford (1998) [32]
  • Caballero por sus servicios a la educación y la informática (2000)
  • Premio de Kyoto de ciencias de la información (2000)
  • Miembro [3] de la Real Academia de Ingeniería [3] (2005)
  • Miembro de la Academia Nacional de Ingeniería (2006)
  • Computer History Museum (CHM) en Mountain View, California Miembro del museo "por el desarrollo del algoritmo Quicksort y por contribuciones de por vida a la teoría de los lenguajes de programación " (2006) [33]
  • Doctorado honorario de la Universidad Heriot-Watt (2007) [34]
  • Doctorado Honoris Causa en Ciencias del Departamento de Informática de la Universidad de Economía y Negocios de Atenas (AUEB) (2007)
  • Premio Friedrich L. Bauer, Universidad Técnica de Munich (2007) [35]
  • Premio al logro de lenguajes de programación SIGPLAN (2011) [36]
  • Medalla IEEE John von Neumann (2011) [37]
  • Doctorado honorario, Universidad de Varsovia (2012) [38]
  • Doctorado Honoris Causa, Universidad Complutense de Madrid (2013) [39]

Referencias

  1. ^ a b Tony Hoare en el Proyecto de genealogía de las matemáticas
  2. ^ Sampaio, Augusto (1993). Un enfoque algebraico para el diseño de compiladores . bodleian.ox.ac.uk (tesis de DPhil). Universidad de Oxford. OCLC 854973008 . EThOS uk.bl.ethos.334903 .  
  3. ^ a b c "Lista de becarios" .
  4. ^ "Cumpleaños 10 de enero" . The Times . Londres. 10 de enero de 2009 . Consultado el 9 de enero de 2010 .
  5. ^ "Sir Antony Hoare" . Museo de Historia de la Computación. Archivado desde el original el 3 de abril de 2015 . Consultado el 22 de abril de 2015 .
  6. ^ Página de perfil del autor de Tony Hoare en laBiblioteca digital de ACM
  7. ^ CAR Hoare en elservidor de bibliografía DBLP
  8. ^ Lista de publicaciones de Microsoft Academic
  9. ^ Shustek, L. (2009). "Entrevista: Una entrevista con CAR Hoare". Comunicaciones de la ACM . 52 (3): 38–41. doi : 10.1145 / 1467247.1467261 . S2CID 1868477 . 
  10. ^ Hoare, COCHE (1974). "Monitores: un concepto de estructuración del sistema operativo". Comunicaciones de la ACM . 17 (10): 549–557. doi : 10.1145 / 355620.361161 . S2CID 1005769 . 
  11. ^ Bowen, Jonathan (8 de septiembre de 2006). Historia oral de Sir Antony Hoare (PDF) . Hoare (Sir Antony, CAR) Historia oral, CHM Número de referencia: X3698.2007 (Informe). Museo de Historia de la Computación . Archivado desde el original en 2013 . Consultado el 18 de abril de 2014 .
  12. ^ Lean, Thomas (2011). "Profesor Sir Tony Hoare" (PDF) . Historias de vida nacionales: una historia oral de la ciencia británica . Reino Unido: Biblioteca Británica . Consultado el 15 de septiembre de 2014 .
  13. ^ a b c d e Levens, RGC, ed. (1964). Registro de Merton College 1900-1964 . Oxford: Basil Blackwell. pag. 434.
  14. ↑ a b Hoare, Tony (otoño de 2009). "Mis primeros días en Elliotts" . Resurrección (48). ISSN 0958-7403 . Consultado el 27 de mayo de 2014 . 
  15. ^ Roscoe, Bill ; Jones, Cliff (2010). "1 Perspectiva, inspiración y colaboración" (PDF) . Reflexiones sobre el trabajo de CAR Hoare . Springer . ISBN  978-1-84882-911-4.
  16. ↑ a b Hoare, CAR (febrero de 1981). "La ropa vieja del emperador" . Comunicaciones de la ACM . 24 (2): 5–83. doi : 10.1145 / 358549.358561 . ISSN 0001-0782 . 
  17. ^ Hoare, COCHE (1981). "La ropa vieja del emperador" . Comunicaciones de la ACM . 24 (2): 75–83. doi : 10.1145 / 358549.358561 .
  18. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 7 de octubre de 2020 .
  19. ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 7 de octubre de 2020 .
  20. ^ Página de inicio de Microsoft - breve biografía
  21. ^ Entrevista de historia oral con CAR Hoare en Charles Babbage Institute , Universidad de Minnesota, Minneapolis.
  22. ^ El artículo clásico sobre monitores - El artículo original sobre monitores
  23. ^ "Prefacio a la conferencia del premio ACM Turing" (PDF) . Archivado desde el original (PDF) el 19 de abril de 2012.
  24. ^ "C. Antony (Tony) R. Hoare" . Archivado desde el original el 1 de julio de 2012.
  25. ^ Hoare, Tony (25 de agosto de 2009). "Referencias nulas: el error de mil millones de dólares" . InfoQ.com.
  26. ^ Hoare, Tony (2009). "Referencias nulas: el error del billón de dólares" (resumen de la presentación). QCon Londres. Archivado desde el original el 28 de junio de 2009.
  27. ^ Hoare, COCHE (1996). "Unificación de teorías: un desafío para la informática". Artículos seleccionados del 11º Taller sobre la especificación de tipos de datos abstractos junto con el 8º Taller de COMPASS sobre Tendencias recientes en la especificación de tipos de datos . Springer-Verlag. págs. 49–57. ISBN 3-540-61629-2.
  28. ^ Jones, Cliff ; Roscoe, AW ; Wood, Kenneth R., eds. (2010). Reflexiones sobre el trabajo de CAR Hoare . Springer Science. pag. 3 . Bibcode : 2010rwch.book ..... R .
  29. ^ Hoare, Charles Anthony Richard (27 de octubre de 1980). "La ropa vieja del emperador: la conferencia del premio ACM Turing de 1980" (PDF) . Asociación para Maquinaria de Computación. Archivado desde el original (PDF) el 19 de abril de 2012.
  30. ^ Anon (1982). "Anthony Hoare FRS" . royalsociety.org . Londres: Royal Society .
  31. ^ "Graduados honorarios desde 1989 hasta la actualidad" . bath.ac.uk . Universidad de Bath . Consultado el 18 de febrero de 2012 .
  32. ↑ (Charles) Antony Richard (Tony) Hoare Biografía
  33. ^ "Sir Antony Hoare: becario de 2006" . Archivado desde el original el 3 de abril de 2015 . Consultado el 8 de marzo de 2020 ."Copia archivada" . Archivado desde el original el 3 de abril de 2015 . Consultado el 22 de abril de 2015 .CS1 maint: copia archivada como título ( enlace )
  34. ^ "Revisión anual 2007: revisión del director" . www1.hw.ac.uk . Archivado desde el original el 5 de marzo de 2016 . Consultado el 29 de marzo de 2016 .
  35. ^ "Preisverleihung auf der Festveranstaltung" 40 Jahre Informatik in München ": TU München vergibt Friedrich L. Bauer-Preis an Tony Hoare" (en alemán). Universidad Técnica de Munich . 26 de octubre de 2007. Archivado desde el original el 10 de junio de 2016 . Consultado el 14 de mayo de 2016 .
  36. ^ "Premio al logro de lenguajes de programación 2011" . ACM . Consultado el 28 de agosto de 2012 .
  37. ^ "Destinatarios de la medalla IEEE John von Neumann" (PDF) . IEEE . Consultado el 26 de febrero de 2011 .
  38. ^ Krzysztof, Diks (15 de noviembre de 2012). "Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego" (en polaco). Universidad de Varsovia . Archivado desde el original el 26 de agosto de 2014 . Consultado el 26 de noviembre de 2012 .
  39. ^ "Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense" (en español). 10 de mayo de 2013 . Consultado el 10 de mayo de 2013 .

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

enlaces externos

  • Página web oficial
Obtenido de " https://en.wikipedia.org/w/index.php?title=Tony_Hoare&oldid=1032928602 "
Contribute a better translation