Diferencia entre revisiones de «Tony Hoare»
(→Estudios) |
|||
| Línea 14: | Línea 14: | ||
|nacionalidad = Británico | |nacionalidad = Británico | ||
|ciudadania = | |ciudadania = | ||
| − | |educación = | + | |educación = Cultura Clásica y Filosofía |
| − | |alma máter = | + | |alma máter = [[Universidad de Oxford]] |
|ocupación = Informático, filósofo | |ocupación = Informático, filósofo | ||
|conocido = | |conocido = | ||
| Línea 34: | Línea 34: | ||
|web = | |web = | ||
|notas = | |notas = | ||
| − | }} | + | }}<div align = "justify"> |
| − | <div align = "justify"> | + | '''Sir 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. |
| − | + | == Síntesis biográfica == | |
| − | |||
| − | == Síntesis | ||
Tony Hoare nació el [[11 de enero]] de [[1934]] en la ciudad de [[Colombo]], [[Sri Lanka]] | Tony Hoare nació el [[11 de enero]] de [[1934]] en la ciudad de [[Colombo]], [[Sri Lanka]] | ||
=== Estudios === | === Estudios === | ||
| − | 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. | + | 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. | 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. | + | 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. |
=== Logros profesionales === | === Logros profesionales === | ||
| − | En [[1960]], intentando facilitar la búsqueda de palabras en el diccionario, descubrió el famoso algoritmo Quicksort, el mismo es el algoritmo de ordenamiento más ampliamente utilizado en el mundo, cuya función es la de ordenar una lista de elementos del mismo tipo y está basado en la técnica divide y vencerás, convirtiendo un problema complicado, en varios mucho más sencillos. Según las teorías de análisis de complejidad de algoritmos, está matemáticamente demostrado que no se puede hacer un algoritmo de ordenación más rápido que Quicksort | + | En [[1960]], intentando facilitar la búsqueda de palabras en el diccionario, descubrió el famoso algoritmo Quicksort, el mismo es el algoritmo de ordenamiento más ampliamente utilizado en el mundo, cuya función es la de ordenar una lista de elementos del mismo tipo y está basado en la técnica divide y vencerás, convirtiendo un problema complicado, en varios mucho más sencillos. Según las teorías de análisis de complejidad de algoritmos, está matemáticamente demostrado que no se puede hacer un algoritmo de ordenación más rápido que Quicksort. |
Este mismo año regresa 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”. Posteriormente trató de diseñar un sistema operativo, siendo un total fracaso | Este mismo año regresa 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”. Posteriormente trató de diseñar un sistema operativo, siendo un total fracaso | ||
| Línea 66: | Línea 64: | ||
En [[1980]] recibió el Premio Turing de la ACM por sus contribuciones fundamentales a la definición y diseño de los lenguajes de programación. En su discurso de aceptación, Hoare realizó la siguiente afirmación humorísticamente: | En [[1980]] recibió el Premio Turing de la ACM por sus contribuciones fundamentales a la definición y diseño de los lenguajes de programación. En su discurso de aceptación, Hoare realizó la siguiente afirmación humorísticamente: | ||
{{Sistema:Cita|"Concluyo que hay dos formas de realizar el diseño de una aplicación: La primera es el hacerla tan sencilla que sea obvio para todos que no tenga deficiencias y la segunda es el hacerla tan complicada que no queden deficiencias obvias."}} | {{Sistema:Cita|"Concluyo que hay dos formas de realizar el diseño de una aplicación: La primera es el hacerla tan sencilla que sea obvio para todos que no tenga deficiencias y la segunda es el hacerla tan complicada que no queden deficiencias obvias."}} | ||
| − | + | </div> | |
== Fuente == | == Fuente == | ||
| − | *Artículo: [http://www.angelfire.com/funky/samuelitomon/tony.htm Tony Hoare]. Disponible en “www.angelfire.com”. Consultado: 27 de | + | *Artículo: [http://www.angelfire.com/funky/samuelitomon/tony.htm Tony Hoare]. Disponible en “www.angelfire.com”. Consultado: 27 de febrero de 2012. |
| − | *Artículo: [http://www.eui.upm.es/museo_virtual/3g/arhoare Sir Charles Antony Richard Hoare (1934)]. Disponible en “www.eui.upm.es”. Consultado: 27 de | + | *Artículo: [http://www.eui.upm.es/museo_virtual/3g/arhoare Sir Charles Antony Richard Hoare (1934)]. Disponible en “www.eui.upm.es”. Consultado: 27 de febrero de 2012. |
| − | *Artículo: [http://research.microsoft.com/en-us/people/thoare/ Tony Hoare]. Disponible en “research.microsoft.com”. Consultado: 27 de | + | *Artículo: [http://research.microsoft.com/en-us/people/thoare/ Tony Hoare]. Disponible en “research.microsoft.com”. Consultado: 27 de febrero de 2012. |
| − | [[Categoría:Personalidades]] [[Category:Investigadores]] | + | [[Categoría:Personalidades]][[Category:Personalidad_científica]][[Category:Investigadores]] |
Revisión del 13:14 5 abr 2012
| ||||||||||||||||||||
Sir 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.
Síntesis biográfica
Tony Hoare nació el 11 de enero de 1934 en la ciudad de Colombo, Sri Lanka
Estudios
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.
Logros profesionales
En 1960, intentando facilitar la búsqueda de palabras en el diccionario, descubrió el famoso algoritmo Quicksort, el mismo es el algoritmo de ordenamiento más ampliamente utilizado en el mundo, cuya función es la de ordenar una lista de elementos del mismo tipo y está basado en la técnica divide y vencerás, convirtiendo un problema complicado, en varios mucho más sencillos. Según las teorías de análisis de complejidad de algoritmos, está matemáticamente demostrado que no se puede hacer un algoritmo de ordenación más rápido que Quicksort.
Este mismo año regresa 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”. Posteriormente trató de diseñar un sistema operativo, siendo un total fracaso
Desarrolló la Lógica de Hoare, y 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.
Fue profesor en Ciencia de la Computación en Belfast en 1968, donde llevo a cabo investigaciones cuyo objetivo 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. Actualmente es investigador en el laboratorio de Microsoft Research en Cambridge, Inglaterra.
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.
Actualmente es investigador senior para Microsoft en Cambridge. Su último reto a la comunidad científica es la creación de un Compilador verificante que demuestre la corrección de los programas antes de ejecutarlos.
Reconocimientos
En 1980 recibió el Premio Turing de la ACM por sus contribuciones fundamentales a la definición y diseño de los lenguajes de programación. En su discurso de aceptación, Hoare realizó la siguiente afirmación humorísticamente:
Fuente
- Artículo: Tony Hoare. Disponible en “www.angelfire.com”. Consultado: 27 de febrero de 2012.
- Artículo: Sir Charles Antony Richard Hoare (1934). Disponible en “www.eui.upm.es”. Consultado: 27 de febrero de 2012.
- Artículo: Tony Hoare. Disponible en “research.microsoft.com”. Consultado: 27 de febrero de 2012.
