Robert W. Floyd, Profesor Emérito de Ciencias de la Computación y un de los grandes pioneros de todos los tiempos en ese campo, nació en Nueva York el 8 de junio de 1936, murió el 25 de septiembre de 2001 después de un largo enfermedad. Tenía 65 años de edad.
Un niño prodigio, había leído todos los libros que pudiera tener en sus manos. Su maestra de primer grado lo utilizan para enseñar fracciones a los niños mayores, en el sur de la escuela pequeña donde comenzó su educación.
Él recibió una beca para entrar en la Universidad de Chicago a los 15 años, en un
programa experimental para niños superdotados, y recibió una licenciatura en
1953 a los 17 años
Al igual que casi cualquier otro niño que ha estado en estos programas de aceleración, pronto perdió su gusto por la escuela y continuó sus estudios a tiempo parcial solamente. Mientras tanto, consiguió un trabajo en la Fundación Armour Research de Illinois Institute of Technology, en primer lugar como operador de equipo autodidacta y luego como programador y analista. Él obtuvo una licenciatura en Física por la Universidad de Chicago en 1958, y publicó un documento de sesión sobre la interferencia de radio de ese mismo año. Pero pronto quedó claro que la informática era su amor principal. De hecho, él comenzó a publicar artículos en las revistas de informática en 1959, y su primer papel importante, `` Un lenguaje descriptivo para la manipulación de símbolos'', introdujo un concepto importante que se conoce producciones como `` Floyd''.
En 1962 se convirtió en un científico principal de proyecto en Computer Associates en Massachusetts, una empresa de software especializada en principios de la creación de programas llamados compiladores
Se unió a la facultad de Carnegie Institute of Technology como Asociado
Profesor en 1965. Ciencias de la Computación es un tema nuevo en aquellos días, y desempeñado un papel importante en el desarrollo del plan de estudios.
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 de investigación de Floyd algoritmo para detectar ciclos en una secuencia, y su 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). Un logro importante 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.
histsoc.stanford.edu/pdfmem/Floyd_Robert.pdf
