Robert W Floyd [1] (8 de junio de 1936 - 25 de septiembre de 2001) fue un 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 y su trabajo en el análisis sintáctico ; También se le atribuyó el algoritmo de búsqueda de ciclos de Floyd para detectar ciclos en una secuencia. En un artículo aislado, introdujo el importante concepto de difusión de errores para renderizar imágenes, también llamado tramado de Floyd-Steinberg (aunque distinguió el tramado de la difusión). Fue pionero en el campo de la verificación de programas utilizando afirmaciones 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.
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 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, incluso sobre compiladores (en particular sobre análisis ). 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 título de Doctor en Filosofía (Ph.D.).
Fue miembro del Grupo de Trabajo IFIP 2.1 de la Federación Internacional para el Procesamiento de Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [3] que especificó , 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, la semántica de los lenguajes de programación , la programación automática verificación , síntesis automática de programas y análisis de algoritmos ". [6]
Floyd trabajó estrechamente con Donald Knuth , en particular como crítico principal 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 . [7] Floyd supervisó siete Ph.D. graduados. [8]
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 padeció la enfermedad de Pick , una enfermedad neurodegenerativa , por lo que se jubiló a principios de 1994. [6]
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 saliera nuestro vuelo, debido a una tormenta de nieve. Mientras estábamos sentados en nuestra puerta, Bob me preguntó, de manera casual, "¿sabes jugar backgammon?" Le respondí que conocía las reglas, pero ¿por qué quería saberlo? Bob dijo que como teníamos que esperar varias horas tal vez deberíamos jugar algunas partidas, con apuestas pequeñas, por supuesto. Luego metió la mano en su maletín y sacó un juego de backgammon.
Mi papá me enseñó muchas cosas. Una era tener cuidado con cualquiera que sugiriera jugar al billar por dinero y luego abriera un estuche negro y empezara a atornillar un palo de billar. Supuse que este consejo se aplicaría 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 lugar de eso, procedió a darme una lección gratuita sobre el arte y la ciencia de jugar 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 en aprender el juego. Se tomaba muy en serio el backgammon, estudiaba el juego y sus matemáticas y era casi un profesional. Creo que era más que un hobby. Al igual que su investigación, Bob se tomó en serio lo que hizo y es totalmente coherente que sería excelente jugando al backgammon.
—Richard J. Lipton . [9]