Robert W "Bob" Floyd [1] (8 de junio de 1936 - 25 de septiembre de 2001) fue un científico informático . Sus contribuciones incluyen el diseño del algoritmo Floyd-Warshall (independientemente de Stephen Warshall ), que encuentra eficientemente todos los caminos más cortos en un gráfico , el algoritmo de búsqueda de ciclos de Floyd para detectar ciclos en una secuencia y su trabajo sobre análisis sintáctico . En un artículo aislado, introdujo el importante concepto de difusión de errores para la reproducción de imágenes, también llamado difuminado de Floyd-Steinberg (aunque distinguió el difuminado de la difusión). Fue pionero en el campo de la verificación de programas utilizandoafirmaciones lógicas con el artículo de 1967 Assigning Meanings to Programs . Esta fue una contribución a lo que más tarde se convirtió en la lógica de Hoare . Floyd recibió el premio Turing en 1978.
Robert W Floyd | |
---|---|
Nació | |
Fallecido | 25 de septiembre de 2001 Stanford , California , Estados Unidos | (65 años)
Ciudadanía | Estados Unidos |
Educación | Universidad de Chicago ( BA , 1953, 1958) |
Conocido por | Algoritmo de Floyd-Warshall Floyd-Steinberg tramado Algoritmo de búsqueda de ciclos de Floyd Triángulo de Floyd ALGOL |
Esposos) | Jana M. Mason; Christiane Floyd (de soltera Riedl) |
Niños | 4 |
Premios | Premio Turing (1978) Premio al pionero de la informática (1991) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Instituto de Tecnología de Illinois Universidad Carnegie Mellon Universidad de Stanford |
Estudiantes de doctorado | 7 |
La vida
Nacido en la ciudad de Nueva York , Floyd terminó la escuela secundaria a los 14 años. En la Universidad de Chicago , recibió una licenciatura en artes liberales en 1953 (cuando todavía tenía 17 años) y una segunda licenciatura en física en 1958. Floyd era un compañero de cuarto de Carl Sagan en la universidad . [2]
Floyd se convirtió en miembro del personal de la Armor Research Foundation (ahora IIT Research Institute ) en el Instituto de Tecnología de Illinois en la década de 1950. Al convertirse en operador de computadoras a principios de la década de 1960, comenzó a publicar muchos artículos, incluidos los compiladores (particularmente el análisis sintáctico ). Fue un pionero de las gramáticas de precedencia de operadores y se le atribuye haber iniciado el campo de la semántica del lenguaje de programación en Floyd (1967) . Fue nombrado profesor asociado en la Universidad Carnegie Mellon cuando tenía 27 años y se convirtió en profesor titular en la Universidad de Stanford seis años después. Obtuvo este puesto sin un título de Doctor en Filosofía (Ph.D.).
Fue miembro del Grupo de Trabajo 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [3] que especifica , mantiene y soporta los lenguajes de programación ALGOL 60 y ALGOL 68 . [4]
Fue elegido miembro de la Academia Estadounidense de Artes y Ciencias en 1974. [5]
Recibió el premio Turing en 1978 "por tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y por ayudar a fundar los siguientes subcampos importantes de la informática: la teoría del análisis sintáctico, la semántica de los lenguajes de programación , el programa automático verificación , síntesis automática de programas y análisis de algoritmos ".
Floyd trabajó en estrecha colaboración con Donald Knuth , en particular como el principal crítico del libro fundamental de Knuth The Art of Computer Programming , y es la persona más citada en ese trabajo. Fue coautor, con Richard Beigel, del libro de texto El lenguaje de las máquinas: una introducción a la computabilidad y los lenguajes formales . [6] Floyd supervisó siete Ph.D. graduados. [7]
Floyd se casó y se divorció dos veces, primero con Jana M. Mason y luego con la científica informática Christiane Floyd , y tuvo cuatro hijos. En sus últimos años sufrió de la enfermedad de Pick , una enfermedad neurodegenerativa , por lo que se retiró a principios de 1994. [ cita requerida ]
Sus pasatiempos incluían el senderismo y era un ávido jugador de backgammon :
Una vez estuvimos atrapados en el aeropuerto O'Hare de Chicago durante horas, esperando que nuestro vuelo saliera debido a una tormenta de nieve. Mientras estábamos sentados en nuestra puerta, Bob me preguntó, de manera casual, "¿sabes cómo jugar al backgammon?" Le respondí que conocía las reglas, pero ¿por qué quería saberlo? Bob dijo que, dado que teníamos varias horas de espera, tal vez deberíamos jugar algunos juegos, con pequeñas apuestas, por supuesto. Luego metió la mano en su maletín y sacó un juego de backgammon.
Mi papá me enseñó muchas cosas. Uno era desconfiar de cualquiera que sugiera un juego de billar por dinero, y luego abre una caja negra y comienza a atornillar un palo de billar. Supuse que este consejo se generalizaba a cualquiera que viajara con su propio juego de backgammon. Le dije a Bob que no iba a jugar por dinero, de ninguna manera. Empujó un poco, pero finalmente dijo que estaba bien. En cambio, procedió a darme una lección gratuita sobre el arte y la ciencia de jugar al backgammon.
Hice bien en dejar de jugar con él por dinero, en cualquier apuesta. La lección fue divertida. Más tarde descubrí que durante años había estado trabajando para aprender el juego. Se tomaba muy en serio el juego de backgammon, estudiaba el juego y sus matemáticas, y era casi un profesional. Creo que fue más que un hobby. Al igual que su investigación, Bob se tomó en serio lo que hizo, y es completamente coherente que sería excelente en el backgammon.
- Richard J. Lipton . [8]
Publicaciones Seleccionadas
- Floyd, Robert W. (1967). "Asignación de significados a los programas" (PDF) . En Schwartz, JT (ed.). Aspectos matemáticos de la informática . Actas del Simposio de Matemáticas Aplicadas. 19 . Sociedad Matemática Estadounidense. págs. 19–32. ISBN 0821867288.
- Floyd, Robert W .; Knuth, Donald Ervin (1970). El problema de clasificación de Bose-Nelson . Stanford, California : Departamento de Ciencias de la Computación, Universidad de Stanford.
- Floyd, Robert W .; Smith, Alan J. (1972). "Un tiempo lineal se fusionan dos cintas". Stanford, California : Departamento de Ciencias de la Computación, Universidad de Stanford. Cite journal requiere
|journal=
( ayuda ) - Floyd, RW (1979). "Los paradigmas de la programación" . Comunicaciones de la ACM . 22 (8): 455. doi : 10.1145 / 359138.359140 .
- Floyd, Robert W .; Ullman, Jeffrey D. (1980). "La compilación de expresiones regulares en circuitos integrados". NASA Sti / Recon Informe Técnico N . Condado de Fairfax, Virginia : Ft. Belvoir: Centro de información técnica de defensa. 81 : 12334. Código Bibliográfico : 1980STIN ... 8112334F .
- Floyd, Robert W .; Beigel, Richard (1994). "El lenguaje de las máquinas: una introducción a la computabilidad y los lenguajes formales". Ciudad de Nueva York : Computer Science Press. Cite journal requiere
|journal=
( ayuda )
Notas
- ^ Floyd tenía su segundo nombre "Willoughby" legalmente cambiado a "W" pero se consideró abreviarlo como "W." válido ( Knuth 2003 ) (formulario DOD DD 48-1, documentos personales, catálogo SC 625 del archivo de la Universidad de Stanford, recuadro 4)
- ^ Archivos de la Universidad de Stanford, Catálogo SC 625, caja 7
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 6 de septiembre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 6 de septiembre de 2020 .
- ^ "Lista de miembros por clases 1 de septiembre de 1997". Registros de la Academia (Academia Estadounidense de Artes y Ciencias) (1996/1997): 56–128. 1996. JSTOR 3786119 .
- ^ Floyd, Robert W .; Beigel, Richard (1994). El lenguaje de las máquinas: una introducción a la computabilidad y los lenguajes formales . Ciudad de Nueva York: WH Freeman and Company. ISBN 978-0-7167-8266-7.
- ^ "Árbol de los estudiantes de Robert Floyd para las exposiciones de historia de la computadora" . Historia de la Computación de Stanford . Universidad Stanford.
- ^ Lipton, Richard J. (28 de agosto de 2010). "Límites inferiores y algoritmos progresivos" . Wordpress .
Otras lecturas
- Knuth, Donald E. (diciembre de 2003). "Robert W Floyd, In Memoriam" . Noticias ACM SIGACT . 34 (4): 3-13. doi : 10.1145 / 954092.954488 . S2CID 35605565 .
- Knuth, Donald E. "Resolución conmemorativa: Robert W. Floyd (1936-2001)" (PDF) . Memoriales de la facultad de la Universidad de Stanford . Sociedad histórica de Stanford. Archivado desde el original (PDF) el 12 de marzo de 2012.
enlaces externos
- Obituario en el informe de Stanford
- Investigación de Quirón
- Robert W Floyd en el Proyecto de genealogía matemática