Robert W. Floyd [1] (nacido como Robert Willoughby Floyd ; 8 de junio de 1936 - 25 de septiembre de 2001) fue un científico informático estadounidense . Sus contribuciones incluyen el diseño del algoritmo Floyd-Warshall (independientemente de Stephen Warshall ), que encuentra de manera eficiente todos los caminos más cortos en un grafo y su trabajo sobre análisis sintáctico ; el algoritmo de búsqueda de ciclos de Floyd para detectar ciclos en una secuencia también se le atribuyó a él. En un artículo aislado introdujo el importante concepto de difusión de errores para renderizar imágenes, también llamado tramado Floyd-Steinberg (aunque distinguió el tramado de la difusión). Fue pionero en el campo de la verificación de programas utilizando aserciones lógicas con el artículo de 1967 Asignación de significados a los programas . 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 (BA) en artes liberales en 1953 (cuando todavía tenía solo 17 años) y una segunda licenciatura en física en 1958. Floyd fue compañero de habitación en la universidad de Carl Sagan . [2]
Floyd se convirtió en miembro del personal de la Armour Research Foundation (ahora IIT Research Institute ) en el Instituto de Tecnología de Illinois en la década de 1950. Se convirtió en operador de computadoras a principios de la década de 1960, y comenzó a publicar muchos artículos, incluso sobre compiladores (en particular, análisis sintáctico ). Fue un pionero de las gramáticas de precedencia de operadores y se le atribuye el inicio del campo de la semántica de los lenguajes 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 de la Federación Internacional de Procesamiento de la 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 las Artes y las 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 , la verificación automática de programas , la síntesis automática de programas y el análisis de algoritmos ". [6]
Floyd trabajó en estrecha colaboración con Donald Knuth , en particular como el principal revisor del libro seminal de Knuth The Art of Computer Programming , y es la persona más citada en esa obra. Fue coautor, junto con Richard Beigel, del libro de texto The Language of Machines: an Introduction to Computability and Formal Languages . [7] Floyd supervisó a siete graduados de doctorado. [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 sufrió la enfermedad de Pick , una enfermedad neurodegenerativa , por lo que se jubiló anticipadamente en 1994. [6]
Entre sus pasatiempos se encontraba el senderismo y era un ávido jugador de backgammon :
Una vez nos quedamos atrapados en el aeropuerto O'Hare de Chicago durante horas, esperando a que saliera nuestro vuelo, debido a una tormenta de nieve. Mientras estábamos sentados en la puerta de embarque, Bob me preguntó, de manera informal, "¿sabes jugar al backgammon?". Le respondí que conocía las reglas, pero ¿por qué quería saberlas? Bob dijo que, dado que teníamos que esperar varias horas, tal vez deberíamos jugar algunas partidas, por supuesto con pequeñas apuestas. Luego metió la mano en su maletín y sacó un juego de backgammon.
Mi padre me enseñó muchas cosas. Una de ellas era que debía tener cuidado con cualquiera que sugiriera jugar al billar por dinero y luego abriera un estuche negro y comenzara a ensamblar un taco de billar. Pensé que este consejo se podía generalizar para cualquiera que viajara con su propio juego de backgammon. Le dije a Bob que no iba a jugar por dinero, de ninguna manera. Me presionó 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 al backgammon.
Hice bien en no jugar con él por dinero, fuera cual fuera la apuesta. La lección fue divertida. Más tarde me enteré de que Bob llevaba años trabajando en aprender a jugar al backgammon. Se tomaba el backgammon muy en serio, estudiaba el juego y sus matemáticas y era casi un profesional. Creo que era más que un pasatiempo. Al igual que su investigación, Bob se tomaba en serio lo que hacía y es totalmente coherente que sería fantástico jugando al backgammon.
— Richard J. Lipton . [9]
