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.
No hay comentarios:
Publicar un comentario