Robert w floyd

Robert W Floyd (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 y su trabajo en el análisis; El algoritmo de búsqueda de ciclo de Floyd &#39 para detectar ciclos en una secuencia también se le atribuyó. En un documento aislado, introdujo el importante concepto de difusión de errores para la representación de imágenes, también llamado Floyd -Steinberg Dithering (aunque distinguió el ditering de la difusión). Se pionó en el campo de la verificación del programa utilizando afirmaciones lógicas con el documento de 1967 que asigna 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.

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 (B.A.) en Artes Liberales en 1953 (cuando todavía solo 17) y un segundo soltero ' Siciado en física en 1958. Floyd era un compañero de cuarto de la universidad de Carl Sagan.

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 en compiladores (particularmente analizados). Fue pionero de las gramáticas de operador-precedencia, y se le atribuye la iniciación del campo de la semántica de 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 pleno 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 de la Federación Internacional de Procesamiento de Información (IFIP) IFIP Group 2.1 en lenguajes algorítmicos y cálculos, que especifican, mantienen y admite los lenguajes de programación Algol 60 y Algol 68.

Fue elegido miembro de la Academia Americana de Artes y Ciencias en 1974.

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

Floyd trabajó en estrecha colaboración con Donald Knuth, en particular como el principal revisor del libro seminal de Knuth El arte de la programación de computadoras , 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 idiomas formales . Floyd supervisó siete Ph.D. Graduados.

Floyd se casó y se divorció dos veces, primero con Jana M. Mason y luego el informático Christiane Floyd, y tuvo cuatro hijos. En sus últimos años sufrió la enfermedad de Pick, una enfermedad neurodegenerativa y, por lo tanto, se retiró a principios de 1994.

Sus pasatiempos incluían senderismo, y él era un ávido jugador de backgammon:

Una vez fuimos atascados en el aeropuerto de Chicago O'Hare 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, "¿sabes jugar backgammon?" Le respondí que conocía las reglas, pero ¿por qué quería saberlo? Bob dijo que desde que tuvimos varias horas para esperar tal vez deberíamos jugar algunos juegos, para pequeñas estacas por supuesto. Luego llegó a su maletín y quitó un set de backgammon.

Mi papá me enseñó muchas cosas. Uno iba a ser cuidadoso de cualquiera que sugiere un juego de billar por dinero, y luego abre un caso negro y comienza a follar juntos un palo de billar. Pensé que este consejo se generalizó a cualquiera que viajara con su propio set de backgammon. Le dije a Bob que no iba a jugar por dinero, de ninguna manera. Empujó un poco, pero finalmente dijo bien. Él procedió en lugar de darme una lección libre en el arte y la ciencia de jugar backgammon.

Tenía razón para seguir jugando con él por dinero en cualquier juego. La lección fue divertida. Me enteré más tarde que durante años había estado trabajando en aprender el juego. Tomó jugando backgammon muy seriamente, estudió el juego y sus matemáticas, y era un profesional cercano. Creo que fue más que un pasatiempo. Como su investigación, Bob tomó lo que hizo en serio, y es completamente consistente en que él sería fantástico en backgammon.

—Richard J. Lipton.

publicaciones seleccionadas

• Floyd, Robert W. (1967). "Asignar significaciones a programas" (PDF). En Schwartz, J.T. (ed.). Aspectos Matemáticos de la Ciencia de la Computación. Proceedings of Symposium on Applied Mathematics. Vol. 19. American Mathematical Society. pp. 19–32. ISBN 0821867288.
• Floyd, Robert W.; Knuth, Donald Ervin (1970). El problema de clasificación Bose-Nelson. Stanford, California: Departamento de Ciencias de la Computación, Universidad de Stanford.
• Floyd, Robert W.; Smith, Alan J. (1972). "Un tiempo lineal dos cintas se fusionan". Stanford, California: Departamento de Ciencias de la Computación, Universidad de Stanford. {{cite journal}}: Cite journal requires |journal= (Ayuda)
• Floyd, R. W. (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 Recopilación de Expresiones Regulares en Circuitos Integrados". NASA Sti/Recon Technical Report N. Fairfax County, Virginia: Ft. Belvoir: Defense Technical Information Center. 81: 12334. Bibcode:1980STIN...8112334F.
• Floyd, Robert W.; Beigel, Richard (1994). "El lenguaje de las máquinas: una introducción a la computabilidad y lenguajes formales". New York City: Computer Science Press. {{cite journal}}: Cite journal requires |journal= (Ayuda)