ROBERT FLOYD
Vida:
Nació el 8 de junio de 1936 en la ciudad de Nueva
York. Falleció el 25 de septiembre de 2001.
Educación y trabajo:
Floyd culminó bachillerato a los 14 años. Sus
padres se trasladaron más de una docena
de veces antes de que el fuera a la
universidad,un niño prodigio, había leído todos los libros que caían en sus
manos, recibió una beca para entrar en la Universidad de Chicago a los 15 años. Se graduó en la Universidad de Chicago en
1953 a los 17 años y como Físico en 1958. Operador de computadoras en los años
60, publicó sus primeros artículos los cuales fueron de gran influencia y fue
nombrado profesor asociado en la Universidad de Carnegie Mellon. Seis años más
tarde fue nombrado profesor en la Universidad de Stanford.
Floyd recibió el Premio Turing de la ACM en 1978
«por tener una clara influencia en las metodologías para la creación de
software eficiente y confiable, y por haber contribuido a la fundación de las
subáreas teoría del reconocimiento de frases, semántica de los lenguajes de
programación, verificación automatizada de programas, síntesis automatizada de
programas y análisis de algoritmos».
Aportaciones:
Una de sus aportaciones mas importante y por el
que hoy es conocido es el diseño del algoritmo de Floyd, que de manera
eficiente encuentra todos los caminos más cortos en un gráfico, y el trabajo en
el análisis. En un documento aislado que introdujo el concepto importante de
difusión de errores para las imágenes de la representación, también llamado
Floyd-Steinberg tramado (a pesar de que distinguidos tramado de difusión). Fue
pionero en el campo de verificación de programas con afirmaciones lógicas con
el artículo de 1967 asignar significados a los programas. Esta fue una
importante contribución a lo que más tarde se convirtió en la lógica de Hoare.
REFERENCIAS
http://en.wikipedia.org/wiki/Robert_W._Floyd
http://www.ithistory.org/honor_roll/honor-roll-alpha.php?navletter=F
http://resources.metapress.com/pdf-review.axd?code=pv215ulwl4679m54&size=largest