Frases de C. A. R. Hoare

C. A. R. Hoare Foto
0  0

C. A. R. Hoare

Fecha de nacimiento: 11. Enero 1934

Anuncio

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. También se le conoce por el desarrollo de la Lógica de Hoare, y por el lenguaje formal CSP , 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 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 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. [cita requerida]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.

Entre sus muchos reconocimientos es doctor honoris causa por varias universidades, como la Universidad de Varsovia,[1]​ la Universidad de Bath[2]​ y la Universidad Complutense de Madrid.[3]​

Autores similares

Isabel II del Reino Unido Foto
Isabel II del Reino Unido7
reina del Reino Unido
Amy Winehouse Foto
Amy Winehouse24
cantante y compositora del Reino Unido
Neville Chamberlain Foto
Neville Chamberlain3
político británico
Winston Churchill Foto
Winston Churchill88
político británico
 Salomón Foto
Salomón24
rey de israel, hijo de David

Frases C. A. R. Hoare

„There is nothing a mere scientist can say that will stand against the flood of a hundred million dollars. But there is one quality that cannot be purchased in this way — and that is reliability. The price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich find most hard to pay.“

— C. A. R. Hoare
Context: [About PL/I] At first I hoped that such a technically unsound project would collapse but I soon realized it was doomed to success. Almost anything in software can be implemented, sold, and even used given enough determination. There is nothing a mere scientist can say that will stand against the flood of a hundred million dollars. But there is one quality that cannot be purchased in this way — and that is reliability. The price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich find most hard to pay.

„The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code“

— C. A. R. Hoare
Context: The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code. How Did Software Get So Reliable Without Proof? Lecture Notes in Computer Science vol 1051 1996 pp. 1-17 : FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings.

Anuncio

„There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult.“

— C. A. R. Hoare
Context: There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult. It demands the same skill, devotion, insight, and even inspiration as the discovery of the simple physical laws which underlie the complex phenomena of nature.

„In any respectable branch of engineering, failure to observe such elementary precautions would have long been against the law“

— C. A. R. Hoare
Context: [About Algol 60 subset implementation] [E]very occurrence of every subscript of every subscripted variable was on every occasion checked at run time against both the upper and the lower declared bounds of the array. Many years later we asked our customers whether they wished us to provide an option to switch off these checks in the interests of efficiency on production runs. Unanimously, they urged us not to - they already knew how frequently subscript errors occur on production runs where failure to detect them could be disastrous. I note with fear and horror that even in 1980, language designers and users have not learned this lesson. In any respectable branch of engineering, failure to observe such elementary precautions would have long been against the law.

Anuncio

„[About Algol 60] Here is a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly all its successors.“

— C. A. R. Hoare
[http://i.stanford.edu/pub/cstr/reports/cs/tr/73/403/CS-TR-73-403.pdf Hints on Programming Language Design], December 1973.

Anuncio

„Premature optimization is the root of all evil.“

— C. A. R. Hoare
Quote due to Donald Knuth, [http://pplab.snu.ac.kr/courses/adv_pl05/papers/p261-knuth.pdf "Structured Programming with Goto Statements"], Computing Surveys 6:4 (December 1974), pp. 261–301, §1. Knuth refers to it as "Hoare's Dictum" 15 years later in "The Errors of TeX", Software—Practice & Experience 19:7 (July 1989), pp. 607–685. However, the attribution to Hoare is doubtful.[http://shreevatsa.wordpress.com/2008/05/16/premature-optimization-is-the-root-of-all-evil/]

Aniversarios de hoy
Carlos III de España Foto
Carlos III de España15
Su Católica Majestad Carlos III, Rey de España (1759 - 1788) 1716 - 1788
Dmitri Mendeléyev Foto
Dmitri Mendeléyev14
químico ruso, creador de la Tabla periódica de los elementos 1834 - 1907
Luis Spota Foto
Luis Spota2
escritor mexicano 1925 - 1985
Otros (number)s aniversarios hoy
Autores similares
Isabel II del Reino Unido Foto
Isabel II del Reino Unido7
reina del Reino Unido
Amy Winehouse Foto
Amy Winehouse24
cantante y compositora del Reino Unido
Neville Chamberlain Foto
Neville Chamberlain3
político británico
Winston Churchill Foto
Winston Churchill88
político británico