Tony Hoare - Historial de revisiones

Rosarino: Rosarino trasladó la página Charles Antony Richard Hoare a Tony Hoare: nombre más común

2020-11-21T23:11:02Z

Rosarino trasladó la página Charles Antony Richard Hoare a Tony Hoare: nombre más común

Josefina: Texto reemplazado: «
» por «»

2019-07-15T05:57:06Z

Texto reemplazado: «<div align = "justify">» por «»

Carlos idict: Texto reemplazado: «Category:Personalidad_científica» por «Categoría:Personalidades de la ciencia»

2017-08-11T20:00:51Z

Texto reemplazado: «Category:Personalidad_científica» por «Categoría:Personalidades de la ciencia»

Olga ciget.pinardelrio en 15:48 22 may 2015

2015-05-22T15:48:22Z

María ciget.gtm en 16:00 19 jun 2014

2014-06-19T16:00:08Z

María ciget.gtm en 15:53 19 jun 2014

2014-06-19T15:53:37Z

María ciget.gtm en 19:46 5 dic 2013

2013-12-05T19:46:23Z

Daymara ciget.guantanamo en 16:13 27 nov 2013

2013-11-27T16:13:23Z

Daymara ciget.guantanamo en 15:38 27 nov 2013

2013-11-27T15:38:49Z

Orialis14025 jc.hlg en 19:37 13 abr 2013

2013-04-13T19:37:24Z

@@ Línea 35: / Línea 35: @@
 |notas        =
 }}
-<div align = "justify">
 '''Charles Antony Richard Hoare.''' [[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.

@@ Línea 61: / Línea 61: @@
 *[http://www.eui.upm.es/museo_virtual/3g/arhoare Sir Charles Antony Richard Hoare (1934)]
 *[http://research.microsoft.com/en-us/people/thoare/ Tony Hoare]
-[[Category:Personalidad_científica]][[Category:Investigadores]][[Category:Nacidos en 1934]]
+[[Categoría:Personalidades de la ciencia]][[Category:Investigadores]][[Category:Nacidos en 1934]]

@@ Línea 36: / Línea 36: @@
 }}
 <div align = "justify">
-'''Charles Antony Richard Hoare.''' [[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]].
+'''Charles Antony Richard Hoare.''' [[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==
-Nació el [[11 de enero]] de [[1934]] en la [[ciudad]] de [[Colombo]], [[Sri Lanka]].
+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ño]]s sin máster ni doctorado, en [[Arte clásico|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 [[BGM-109 Tomahawk|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]] y [[Lenguaje de Programación|lenguaje de máquina]].
+En [[1956]] consiguió el Título de Grado, equivalente a una carrera de cuatro años sin máster ni doctorado, en [[Arte clásico|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 [[BGM-109 Tomahawk|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]] y [[Lenguaje de Programación|lenguaje de máquina]].
 ==Aportes==
-En [[1960]], intentando facilitar la [[Kiten|búsqueda de palabras]] en el [[diccionario]], descubrió el famoso [[QuickSort|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 [[Kiten|búsqueda de palabras]] en el [[diccionario]], descubrió el famoso [[QuickSort|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 [[ordenador]]es. 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 [[ordenador]]es. 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 [[Programación lógica|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.
+Desarrolló la [[Programación lógica|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 [[investigación]]es 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]].
+Fue profesor en [[Ciencia]] de la Computación en [[Belfast]] en [[1968]], donde llevo a cabo [[investigación]]es 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]].
-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. Es investigador en el [[laboratorio]] de [[Microsoft]] Researchen [[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. Es investigador en el [[laboratorio]] de Microsoft Researchen [[Cambridge]], [[Inglaterra]].
 ==Reconocimientos==
@@ Línea 61: / Línea 61: @@
 *[http://www.eui.upm.es/museo_virtual/3g/arhoare Sir Charles Antony Richard Hoare (1934)]
 *[http://research.microsoft.com/en-us/people/thoare/ Tony Hoare]
-[[Category:Personalidad_científica]][[Category:Investigadores]]
+[[Category:Personalidad_científica]][[Category:Investigadores]][[Category:Nacidos en 1934]]

@@ Línea 42: / Línea 42: @@
 ===Estudios===
-En [[1956]] consiguió el Título de Grado, equivalente a una [[carrera]] de cuatro [[año]]s sin máster ni doctorado, en [[Arte clásico|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 [[BGM-109 Tomahawk|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]] y [[Lenguaje de Programación|lenguaje de máquina]].
+En [[1956]] consiguió el Título de Grado, equivalente a una [[carrera]] de cuatro [[año]]s sin máster ni doctorado, en [[Arte clásico|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 [[BGM-109 Tomahawk|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]] y [[Lenguaje de Programación|lenguaje de máquina]].
 ==Aportes==
@@ Línea 54: / Línea 54: @@
 ==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:
+En [[1980]] recibió el [[Premio Turing]] de la ACM por sus contribuciones fundamentales a la definición y diseño de los [[Lenguaje 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."}}

@@ Línea 7: / Línea 7: @@
 |descripción  =
 |fecha de nacimiento = [[11 de enero]] de [[1934]]
-|lugar de nacimiento =[[Colombo]],  [[Sri Lanka]], {{Bandera2|Sri Lanka}}
+|lugar de nacimiento =[[Colombo]], [[Sri Lanka]], {{Bandera2|Sri Lanka}}
 |fecha de fallecimiento =
 |lugar de fallecimiento =
@@ Línea 14: / Línea 14: @@
 |nacionalidad = Británico
 |ciudadania   =
-|educación    = [[Cultura]] Clásica y [[Filosofía]]
+|educación    = [[Arte clásico|Cultura Clásica]] y [[Filosofía]]
 |alma máter   = [[Universidad de Oxford]]
-|ocupación    = Informático, filósofo
+|ocupación    = [[Informática|Informático]], filósofo
 |conocido     =
 |titulo       =
@@ Línea 28: / Línea 28: @@
 |familiares   =
 |obras        =
-|premios      = Premio Turing en [[1980]]
+|premios      = [[Premio Turing]] en [[1980]]
 |titulos      =
 |récords      =
@@ Línea 36: / Línea 36: @@
 }}
 <div align = "justify">
-'''Charles Antony Richard Hoare.''' 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]].
+'''Charles Antony Richard Hoare.''' [[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==
@@ Línea 42: / Línea 42: @@
 ===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.
+En [[1956]] consiguió el Título de Grado, equivalente a una [[carrera]] de cuatro [[año]]s sin máster ni doctorado, en [[Arte clásico|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 [[BGM-109 Tomahawk|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]] y [[Lenguaje de Programación|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]] lenguaje de [[máquina]].
 ==Aportes==
-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 [[Kiten|búsqueda de palabras]] en el [[diccionario]], descubrió el famoso [[QuickSort|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.
+Este mismo [[año]] regresa a [[Inglaterra]], donde trabajó como programador para Elliott Brothers, una pequeña fábrica de [[ordenador]]es. 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 [[Programación lógica|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.
 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. Es investigador en el [[laboratorio]] de [[Microsoft]] Researchen [[Cambridge]], [[Inglaterra]].
 ==Reconocimientos==
-En [[1980]] recibió el Premio Turing de la ACM por sus contribuciones fundamentales a la definición y diseño de los [[lenguaje]]s 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."}}
 ==Fuentes==
-* [http://www.angelfire.com/funky/samuelitomon/tony.htm Tony Hoare]
+*[http://www.angelfire.com/funky/samuelitomon/tony.htm Tony Hoare]
 *[http://www.eui.upm.es/museo_virtual/3g/arhoare Sir Charles Antony Richard Hoare (1934)]
 *[http://research.microsoft.com/en-us/people/thoare/ Tony Hoare]
 [[Category:Personalidad_científica]][[Category:Investigadores]]

← Revisión anterior	Revisión del 23:11 21 nov 2020
(Sin diferencias)

@@ Línea 1: / Línea 1: @@
 {{Ficha Persona
 |nombre       = Charles Antony Richard Hoare
@@ Línea 7: / Línea 8: @@
 |descripción  =
 |fecha de nacimiento = [[11 de enero]] de [[1934]]
-|lugar de nacimiento = Colombo, Sri Lanka  {{Bandera|Sri Lanka}}
+|lugar de nacimiento =[[Colombo]],  [[Sri Lanka]], {{Bandera|Sri Lanka}}
 |fecha de fallecimiento =
 |lugar de fallecimiento =
@@ Línea 34: / Línea 35: @@
 |web          =
 |notas        =
-}}<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.
+'''Charles Antony Richard Hoare.''' 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]]
+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]].
+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.
+== Aportes ==
 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
 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.
-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.
+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.
+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. Es investigador en el laboratorio de Microsoft Research en [[Cambridge]], Inglaterra.
 == 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:
 {{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>
+== Fuentes ==
-== Fuente ==
+* [http://www.angelfire.com/funky/samuelitomon/tony.htm Tony Hoare]
-*Artículo: [http://www.angelfire.com/funky/samuelitomon/tony.htm Tony Hoare]. Disponible en “www.angelfire.com”. Consultado: 27 de febrero de 2012.
+*[http://www.eui.upm.es/museo_virtual/3g/arhoare Sir Charles Antony Richard Hoare (1934)]
-*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.
+*[http://research.microsoft.com/en-us/people/thoare/ Tony Hoare]
 [[Category:Personalidad_científica]][[Category:Investigadores]]

@@ Línea 3: / Línea 3: @@
 |nombre completo = Charles Antony Richard Hoare
 |otros nombres = Tony Hoare
-|imagen       = Tony_Hoare.jpg
+|imagen       = Charles_Antony_Richard_Hoare.jpg
 |tamaño       =
 |descripción  =