stringtranslate.com

Tony Hoare

Sir Charles Antony Richard Hoare ( Tony Hoare o CAR Hoare ) FRS FREng [3] (nacido el 11 de enero de 1934) [4] es un informático británico que ha realizado contribuciones fundamentales a los lenguajes de programación , algoritmos , sistemas operativos , verificación formal y concurrencia. informática . [5] Su trabajo le valió el Premio Turing , generalmente considerado como la más alta distinción en ciencias de la computación, en 1980.

Hoare desarrolló el algoritmo de clasificación Quicksort en 1959-1960. [6] Desarrolló la lógica de Hoare , una base axiomática para verificar la corrección del programa . En la semántica de la concurrencia , introdujo el lenguaje formal que comunica procesos secuenciales (CSP) para especificar las interacciones de procesos concurrentes y, junto con Edsger Dijkstra , formuló el problema de los filósofos gastronómicos . [7] [8] [9] [10] [11] [12] Desde 1977, ha ocupado cargos en la Universidad de Oxford y en Microsoft Research en Cambridge .

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 plantador de té. Hoare se educó en Inglaterra en la Dragon School de Oxford y en la King's School de Canterbury . [13] Luego estudió Clásicos y Filosofía ("Grandes") en Merton College, Oxford . [14] Al graduarse en 1956 realizó 18 meses de Servicio Nacional en la Royal Navy , [14] donde aprendió ruso. [15] Regresó a la Universidad de Oxford en 1958 para estudiar un certificado de posgrado en estadística , [14] y fue aquí donde comenzó a programar computadoras , habiendo aprendido Autocode en el Ferranti Mercury de Leslie Fox . [16] Luego fue a la Universidad Estatal de Moscú como estudiante de intercambio del British Council , [14] donde estudió traducción automática con Andrey Kolmogorov . [15]

Investigación y carrera

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

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 Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [19] que especificó , mantiene y soporta los lenguajes ALGOL 60 y ALGOL. 68 . [20]

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 de la 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. [21] Ahora es profesor emérito allí y también es investigador principal en Microsoft Research en Cambridge , Inglaterra. [22] [23] [24]

El trabajo más significativo de Hoare se ha desarrollado en las siguientes áreas: su algoritmo de clasificación y selección ( Quicksort y Quickselect ), 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 como occam ), estructuración de sistemas operativos informáticos utilizando el concepto de monitor y la especificación axiomática de lenguajes de programación . [25] [26]

Hablando en una conferencia de software en 2009, Tony Hoare se disculpó hiperbólicamente por "inventar" la referencia nula : [27] [28]

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 realizara la verificación automáticamente. 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 caídas del sistema, que probablemente han causado mil millones de dólares en dolores y daños 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 formal como CSP y Z. Estos no lograron la aceptación esperada por parte de la industria, y en 1995 Hoare se vio obligado a reflexionar sobre los supuestos originales: [30]

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 aceptaría con gratitud toda ayuda prometida por la formalización para resolver los problemas de confiabilidad que surgen cuando los programas se vuelven grandes y más críticos para la seguridad. Los programas ahora se han vuelto muy grandes y críticos, mucho más allá de la escala que puede abordarse cómodamente mediante métodos formales. Ha habido muchos problemas y fracasos, pero casi siempre han sido atribuibles a un análisis inadecuado de las necesidades o a un control de gestión inadecuado. Ha resultado que el mundo simplemente no sufre significativamente el tipo de problema que nuestra investigación originalmente pretendía resolver.

Premios y honores

Vida personal

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

Libros

Referencias

  1. ^ ab Tony Hoare en el Proyecto de Genealogía de Matemáticas
  2. ^ Sampaio, Augusto (1993). Un enfoque algebraico para el diseño de compiladores. bodleian.ox.ac.uk (tesis de doctorado). Universidad de Oxford. OCLC  854973008. EThOS  uk.bl.ethos.334903.[ enlace muerto permanente ]
  3. ^ abc "Lista de becarios". Archivado desde el original el 8 de junio de 2016 . Consultado el 17 de octubre de 2014 .
  4. ^ "Cumpleaños 10 de enero". Los tiempos . Londres. 10 de enero de 2009 . Consultado el 9 de enero de 2010 .
  5. ^ Jones, acantilado B .; Misra, Jayadev , eds. (2021). Teorías de la programación: la vida y obra de Tony Hoare . Libros ACM. vol. 39. Nueva York, NY: Asociación de Maquinaria de Computación . doi :10.1145/3477355. ISBN 978-1-4503-8728-6. S2CID  238251696.
  6. ^ "Sir Antonio 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 .
  7. ^ Página de perfil del autor de Tony Hoare en la Biblioteca digital ACM
  8. ^ CAR Hoare en el servidor de bibliografía DBLP
  9. ^ Publicaciones de Tony Hoare indexadas por Microsoft Academic
  10. ^ Shustek, L. (2009). "Entrevista: Una entrevista con CAR Hoare". Comunicaciones de la ACM . 52 (3): 38–41. doi :10.1145/1467247.1467261. S2CID  1868477.
  11. ^ 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.
  12. ^ Bowen, Jonathan (8 de septiembre de 2006). Historia oral de Sir Antony Hoare. Hoare (Sir Antony, CAR) Historia Oral, CHM Número de referencia: X3698.2007 (Reporte). Museo de Historia de la Computación . Archivado desde el original el 3 de julio de 2013 . Consultado el 18 de abril de 2014 .{{cite report}}: Mantenimiento CS1: bot: estado de la URL original desconocido ( enlace )
  13. ^ Magro, Thomas (2011). "Profesor Sir Tony Hoare" (PDF) . Historias de vida nacionales: una historia oral de la ciencia británica . Reino Unido: Biblioteca Británica . Archivado (PDF) desde el original el 15 de septiembre de 2014 . Consultado el 15 de septiembre de 2014 .
  14. ^ abcde Levens, RGC, ed. (1964). Registro de Merton College 1900-1964 . Oxford: Albahaca Blackwell. pag. 434.
  15. ^ ab 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 .
  16. ^ Roscoe, Bill ; Jones, acantilado (2010). "1 Conocimiento, inspiración y colaboración" (PDF) . Reflexiones sobre la obra del CAR Hoare . Saltador . ISBN 978-1-84882-911-4. Archivado (PDF) desde el original el 9 de octubre de 2022.
  17. ^ ab Hoare, CAR (febrero de 1981). "Las ropas viejas del emperador". Comunicaciones de la ACM . 24 (2): 5–83. doi : 10.1145/358549.358561 . ISSN  0001-0782.
  18. ^ Hoare, COCHE (1981). "Las ropas viejas del emperador". Comunicaciones de la ACM . 24 (2): 75–83. doi : 10.1145/358549.358561 .
  19. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 del IFIP". Foswiki . Consultado el 7 de octubre de 2020 .
  20. ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "AlcanceEtc: IFIP21: Foswiki". Foswiki . Consultado el 7 de octubre de 2020 .
  21. ^ "Cátedra Christopher Strachey de Computación". Departamento de Ciencias de la Computación, Universidad de Oxford . 5 de noviembre de 2021 . Consultado el 18 de enero de 2024 .
  22. ^ Página de inicio de Microsoft: breve biografía
  23. ^ Entrevista de historia oral con CAR Hoare en el Instituto Charles Babbage , Universidad de Minnesota, Minneapolis.
  24. ^ El artículo clásico sobre monitores - El artículo original sobre monitores
  25. ^ "Prefacio a la conferencia del Premio ACM Turing" (PDF) . Archivado desde el original (PDF) el 19 de abril de 2012.
  26. ^ "C. Antonio (Tony) R. Hoare". Archivado desde el original el 1 de julio de 2012.
  27. ^ Hoare, Tony (25 de agosto de 2009). "Referencias nulas: el error de mil millones de dólares". InfoQ.com.
  28. ^ "Nulo: el error de mil millones de dólares". hashnode.com. 3 de septiembre de 2020.
  29. ^ Hoare, Tony (2009). "Referencias nulas: el error de los mil millones de dólares" (Resumen de la presentación). QCon Londres. Archivado desde el original el 28 de junio de 2009.
  30. ^ Hoare, COCHE (1996). "Unificación de teorías: un desafío para la informática". Artículos seleccionados del 11º Taller sobre especificación de tipos de datos abstractos conjunto con el 8º Taller COMPASS sobre tendencias recientes en la especificación de tipos de datos . Springer-Verlag. págs. 49–57. ISBN 3-540-61629-2.
  31. ^ "Premio al trabajo sobre lenguajes y sistemas de programación ACM". Asociación para Maquinaria de Computación. 1973 . Consultado el 7 de julio de 2022 .
  32. ^ Hoare, COCHE (1972). "Prueba de exactitud de las representaciones de datos". Comunicaciones de la ACM . 1 (4): 271–281. doi :10.1007/BF00289507. S2CID  34414224.
  33. ^ Hoare, Charles Anthony Richard (27 de octubre de 1980). "El traje viejo del emperador: 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.
  34. ^ Luego (1982). "Anthony Hoare FRS". royalsociety.org . Londres: Sociedad de la Realeza .
  35. ^ "Graduados honorarios desde 1989 hasta la actualidad". baño.ac.uk. _ Universidad de Bath . Archivado desde el original el 17 de julio de 2010 . Consultado el 18 de febrero de 2012 .
  36. ^ "Biografía de (Charles) Antony Richard (Tony) Hoare". Archivado desde el original el 17 de julio de 2014.
  37. ^ "Sir Antony Hoare: becario de 2006". Archivado desde el original el 3 de abril de 2015 . Consultado el 8 de marzo de 2020 ."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 .
  38. ^ "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 .
  39. ^ "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 Múnich . 26 de octubre de 2007. Archivado desde el original el 10 de junio de 2016 . Consultado el 14 de mayo de 2016 .
  40. ^ "Premio al logro en lenguajes de programación 2011". ACM . Consultado el 28 de agosto de 2012 .
  41. ^ "Destinatarios de la medalla IEEE John von Neumann" (PDF) . IEEE. Archivado (PDF) desde el original el 9 de octubre de 2022 . Consultado el 26 de febrero de 2011 .
  42. ^ 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 .
  43. ^ "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 .
  44. ^ Medalla Real 2023
  45. ^ Jones, acantilado ; Roscoe, AW ; Madera, Kenneth R., eds. (2010). Reflexiones sobre la obra del CAR Hoare . Ciencia Springer. pag. 3. Bibcode : 2010rwch.book.....R.

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

enlaces externos

Wikimedia Commons tiene medios relacionados con CAR Hoare .
Wikiquote tiene citas relacionadas con Tony Hoare .