| Nacimiento |
8 de junio de 1936 Nueva York |
|---|---|
| Muerte |
25 de septiembre de 2001(a los 65 años) Stanford |
| Nombre en idioma nativo | Robert w floyd |
| Nacionalidad | americano |
| Capacitación | Universidad de Chicago |
| Ocupaciones | Científico informático , ingeniero , profesor universitario |
| Cónyuge | Christiane Floyd |
| Trabajé para | Universidad Carnegie-Mellon , Universidad de Stanford |
|---|---|
| Campo | Ciencias de la Computación |
| Miembro de |
Asociación de la Academia Estadounidense de Artes y Ciencias para Maquinaria de Computación |
| Premios |
Premio Turing (1978) |
Robert W. Floyd (nacido el8 de junio de 1936 y muerto el 25 de septiembre de 2001en Stanford (California) es un teórico gráfico y científico informático estadounidense .
Floyd nació en Nueva York y se graduó de la escuela secundaria a la edad de 14 años. En la Universidad de Chicago , obtuvo una licenciatura en artes liberales en 1953 (con solo 17 años) y una segunda licenciatura en física en 1958 .
Habiéndose convertido en científico de la computación a principios de la década de 1960 , comenzó a publicar numerosos artículos distinguidos y se convirtió en profesor en la Universidad Carnegie-Mellon a la edad de 27 años. Obtuvo una cátedra en la Universidad de Stanford seis años después, sin tener un doctorado .
Supervisó las tesis de una docena de estudiantes, incluidos Ronald Rivest y Robert Tarjan .
Floyd se casó y se divorció dos veces y tuvo cuatro hijos. En su tiempo libre practicaba backgammon y senderismo .
Sufriendo de la enfermedad de Pick en 1993, se retiró a principios del año siguiente y murió unos años después.
Sus contribuciones incluyen un algoritmo para determinar de manera eficiente todos los caminos más cortos en un gráfico , conocido como el algoritmo Floyd-Warshall , y trabajar en el análisis . En un artículo aislado, presentó el importante concepto de difusión de errores en el procesamiento de imágenes y el algoritmo conocido hoy como algoritmo de Floyd-Steinberg .
Robert Floyd fue pionero en la verificación de programas en un artículo de 1967 titulado Asignación de significados a los programas . Fue una contribución importante a la lógica futura de Hoare .
Floyd ha colaborado con Donald Knuth , particularmente como el principal corrector de pruebas de la obra principal de Knuth, El arte de la programación informática , en la que resulta ser la persona más citada.
Floyd recibió el premio Turing en 1978 por "tener una influencia significativa en las metodologías para crear software seguro y efectivo, y por contribuir al surgimiento de áreas importantes de la computación científica: la teoría del análisis sintáctico , la semántica de los lenguajes de programación , la verificación de programas , la síntesis de programas y el análisis de algoritmos ”.