Robert Floyd

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