Biografía Robert W. Floyd

ROBERT W. FLOYD

Robert W (Bob) Floyd (8 jun 1936 a 25 sept 2001) fue un eminente científico de la computación.

Sus contribuciones incluyen el diseño del algoritmo de Floyd-Warshall (independientemente de Stephen Warshall), que se encuentra de manera eficiente todas las trayectorias más cortas en un gráfico , el ciclo de investigación de Floyd algooritmo 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 la 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.

Nacido en Nueva York, Floyd terminó la escuela a los 14 años. En la Universidad de Chicago, recibió una licenciaturaen artes liberales en 1953 (cuando todavía sólo 17) y una licenciatura en segundo la física en 1958.

Floyd se convirtió en un miembro del personal de la Fundación Armour Research (ahora IIT Research Institute) en el Illinois Institute of Technology en 1950. Convertirse en un operador de computadoras en la década de 1960, comenzó a publicar numerosos trabajos dignos de mención y fue nombrado profesor adjunto en la Universidad Carnegie Mellon en el momento en que tenía 27 años y se convirtió en catedrático en la Universidad de Stanford, seis años después. Obtuvo este puesto de trabajo sin Ph.D.

Recibió el Premio Turing en 1978 "para tener una clara influencia sobre las metodologías para la creación de software eficiente y fiable, y para ayudar a encontrar los siguientes subcampos importantes de la informática: la teoría del análisis, la semántica de los lenguajes de programación, automático programa verificación, automática síntesis de programas y análisis de algoritmos".

Floyd trabajó en estrecha colaboración con Donald Knuth, en particular, como el usuario principal para el libro seminal de Knuth The Art of Computer Programming, y es la persona más citada en este trabajo. Él fue el co-autor, junto con Richard Beigel, del libro de texto El lenguaje de las máquinas: una Introducción a la Computabilidad y lenguajes formales (1994, WH Freeman and Company,ISBN 978-0716782667).

Floyd casado y divorciado dos veces, incluso con equipo científico Floyd Christiane, y tuvo cuatro hijos. Sus pasatiempos incluyen ir de excursión y que era un ávido backgammon jugador:

Que una vez quedamos atrapados en el aeropuerto O'Hare de Chicago durante horas, esperando nuestro vuelo para salir, debido a una tormenta de nieve. Cuando nos sentamos en nuestra puerta, Bob me preguntó, de manera casual ", que saben cómo jugar al backgammon?" Yo le respondí que sabía las reglas, pero ¿por qué quieres saber? Bob dijo que ya que teníamos que esperar varias horas tal vez deberíamos jugar algunos juegos, en pequeñas cantidades, por supuesto. Luego buscó en su maletín y sacó un juego de backgammon.

Mi papá me enseñó muchas cosas. Uno de ellos fue a desconfiar de cualquiera que sugiera una partida de billar por dinero, y luego se abre un estuche negro y comienza a atornillar un palo de billar. Me di cuenta de que este consejo generalizado a todo el que viajaba con su juego de backgammon propia. Le dije a Bob que yo no iba a jugar por dinero, no hay manera.Empujó un poco, pero finalmente la multa. Se procedió en lugar de darme una lección libre en el arte y la ciencia de jugar backgammon.

Yo tenía razón para pasar a jugar él por dinero en cualquier juego. La lección fue muy divertido. Más tarde me enteré que durante años había estado trabajando en el aprendizaje del juego. Él tomó muy en serio a jugar backgammon, estudiado el juego y sus matemáticas, y fue casi un profesional. Creo que fue más que un pasatiempo. Al igual que su investigación, Bob tuvo lo que él hizo en serio, y es totalmente coherente que iba a ser terrible en el backgammon.

http://en.wikipedia.org/wiki/Robert_W._Floyd
http://www.systemcomputing.org/turing%20award/robert_1978/Robert.htm