Biografía de Robert W. Floyd

*Robert W. Floyd*

Robert W. (Bob) Floyd  nació en Nueva York el 8 de Junio de 1936 y murió el 25 septiembre 2001 en Stanford, California, fue un eminente científico de la computación.

Sus contribuciones incluyen el diseño del algoritmo de Floyd-Warshall (independientemente de Stephen Warshall ), que se encuentra de manera eficiente todos los caminos más cortos en un gráfico , el ciclo del hallazgo de Floyd algoritmo para la detección de los ciclos en una secuencia, y su trabajo en el análisis . En un artículo aislado que introdujo el concepto importante de difusión de error para las imágenes que prestan, también llamado Floyd-Steinberg tramado (aunque él distingue tramado de difusión). Un logro importante fue pionero en el campo de la verificación de programas con afirmaciones lógicas con los 1967 de papel 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.

Floyd terminó la escuela a los 14 años. En la Universidad de Chicago , recibió una licenciatura en artes liberales en 1953 (cuando todavía sólo el 17) y una licenciatura en el segundo la física en 1958.

Floyd se convirtió en un miembro del personal de la Fundación Armour Research (ahora IIT Research Institute) en el Illinois Institute of Technology en 1950. Convertirse en un operador de la computadora en la década de 1960, comenzó a publicar muchos artículos dignos de mención y fue nombrado profesor asociado en la Universidad Carnegie Mellon en el momento en que él tenía 27 años y se convirtió en un profesor de tiempo completo en la Universidad de Stanford, seis años después. Obtuvo este puesto de trabajo sin un Ph.D.

Recibió el Premio Turing en 1978 "para tener una clara influencia sobre las metodologías para la creación de software eficiente y fiable, y para ayudar a encontrar los siguientes subcampos importantes de la ciencia de la computación: la teoría del análisis , las semántica de los lenguajes de programación, manual del programa la verificación , automática síntesis de programas y análisis de algoritmos ".

Floyd trabajó estrechamente con Donald Knuth , en particular por lo que el crítico importante para el libro seminal de Knuth El Arte de la Programación de Computadoras , y es la persona más citada en este trabajo. Él era el co-autor, junto a Richard Beigel, del libro de texto El lenguaje de las máquinas: una Introducción a la Computabilidad y Lenguajes Formales (1994, WH Freeman and Company, ISBN 978-0-7167-8266-7 ). Floyd supervisado 7 doctorados .

Floyd casado y divorciado dos veces, incluso con equipo científico Floyd Christiane , y tenía cuatro hijos. Sus pasatiempos incluyen ir de excursión y él era un ávido backgammon jugador.

Referencias:

vRobert W. Floyd . [en línea]. <http://en.wikipedia.org/wiki/Robert_W._Floyd>. Consulta:Septiembre 15, 2012

v[Anónimo]. Robert W. Floyd. [Imagen]. Recuperado de: <http://tinyurl.com/bopo9bp >.Septiembre 15, 2012.