C. A. R. Hoare


C. A. R. Hoare
Charles Antony Richard Hoare
CAR Hoare.jpg
Nombre Charles Antony Richard Hoare
Nacimiento 11 de enero de 1934, 77 años
Bandera de Sri Lanka Sri Lanka, Colombo
Nacionalidad británico
Otros nombres Tony
Ocupación informático, filósofo
Premios Premio Turing en 1980

Sir Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934 -), 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. 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 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 y posteriormente se graduó en la Universidad Estatal de Moscú para estudiar Teoría de la Probabilidad y hacer traducciones de lenguaje humano a lenguaje de máquina.

Intentando facilitar la búsqueda de palabras en el diccionario descubrió el famoso algoritmo “Quicksort”. La función de este algoritmo es ordenar una lista de elementos del mismo tipo y está basado en la técnica “divide y vencerás”, de modo que convierte un problema complicado, en muchos sencillos, pero además es el más rápido conocido para hacer esta tarea. De hecho es, según las teorías de análisis de complejidad de algoritmos, el más rápido posible. Está matemáticamente demostrado que no se puede hacer un algoritmo de ordenación más rápido que Quicksort.

En 1960 volvió a Inglaterra, donde trabajó como programador para Elliott Brothers, una pequeña fábrica de ordenadores. Allí dirigió a un equipo de personas que diseñaron el primer compilador comercial para el lenguaje de programación “Algol 60”.

Tras conseguir el rango de ingeniero jefe, coordinó un equipo mucho mayor para implementar un sistema operativo que resultó desastroso. Poco después entró en una empresa de hardware y arquitectura de software que tuvo que abandonar cuando esta se fusionó con su competencia.

En 1968 consiguió una oportunidad para trabajar como profesor de Ciencias de la Computación en Queen’s University, en Belfast. El objetivo de sus investigaciones era entender por qué los sistemas operativos eran mucho más complicados que los compiladores, y ver si los avances en teoría de la programación podrían ayudar a solucionar problemas de concurrencia informática.

Siempre fue consciente de que sería un período de investigación muy largo y que difícilmente conseguiría aplicaciones industriales para sus avances.

En 1977 se trasladó a la Universidad de Oxford, y se comprometió a construir un Grupo de Investigación de Programación, fundado por Christopher Strachey.

Durante más de treinta años como académico, Tony ha tenido siempre importantes contactos con la industria mediante consultas, colaboraciones de investigación, etc.

Cuando llegó a la edad de jubilación para las investigaciones de Oxford, aceptó con ganas la oportunidad de volver a la industria como investigador senior para Microsoft en Cambridge, donde sigue trabajando actualmente.

Enlaces externos


Predecesor:
Kenneth Iverson
Premio Turing
1980
Sucesor:
Edgar Frank Codd

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Hoare logic — (also known as Floyd ndash;Hoare logic) is a formal system developed by the British computer scientist C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The purpose of the system is to provide a set of logical rules in… …   Wikipedia

  • Hoare — ist der Name folgender Personen: Mike Hoare (* 1920), britischer Offizier und Söldner Samuel Hoare, 1. Viscount Templewood (1880–1959), britischer Politiker Sean Hoare (1963/64−2011), britischer Journalist Tony Hoare (* 1934), britischer… …   Deutsch Wikipedia

  • Hoare — is the name of: * C. A. R. Hoare (b. 1934), British computer scientist, creator of Hoare logic and the Quicksort sorting algorithm * Kelly Hoare (b. 1963), Australian politician * Mike Hoare (b. 1920), Irish mercenary leader * Prince Hoare… …   Wikipedia

  • Hoare (Santurce) — Hoare …   Wikipedia Español

  • Hoare, Sir Samuel (John Gurney), 2o baronet — también llamado (desde 1944) vizconde Templewood (de Chelsea) (24 feb. 1880, Londres, Inglaterra–7 may. 1959, Londres). Estadista británico. Como secretario de Estado para India (1931–35), asumió la enorme tarea de elaborar y defender en el… …   Enciclopedia Universal

  • Hoare —   [ hɔ:ə], Samuel, britischer Politiker, Templewood of Chelsea, Samuel John Gurney Hoare …   Universal-Lexikon

  • Hoare Baronets — There have been four Baronetcies created for people with the surname Hoare, one in the Baronetage of Ireland, one in the Baronetage of Great Britain and two in the Baronetage of the United Kingdom. The second holder of the third creation was… …   Wikipedia

  • Hoare-Logik — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… …   Deutsch Wikipedia

  • Hoare-Tripel — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… …   Deutsch Wikipedia

  • Hoare Lea — Infobox Company company name = Hoare Lea Consulting Engineers company company type = Partnership foundation = 1862 by Edwin Hoare and Henry Lea location = Bristol UK 10 offices throughout the UK industry = engineering consulting products =… …   Wikipedia

  • Hoare-Kalkül — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… …   Deutsch Wikipedia


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.