Robert W. Floyd

Robert W. Floyd(1936-2001)

Nació el 08 De junio de 1936 y murió el 25 de septiembre de 2001; fue un eminente científico informático.
Nacido en Nueva York, Floyd terminó la escuela a los 14 años. En la Universidad de Chicago, recibió una licenciatura en artes liberales en 1953 (cuando aún tenía sólo 17 años) y una segunda licenciatura en física en 1958.

Floyd se convirtió en un miembro del personal de la Fundación de investigación de blindaje (ahora IIT Research Institute) en Illinois Institute of Technology en la década de 1950. Convertirse en un operador de equipo en la década de 1960, comenzó a publicar muchos papeles notables y fue nombrado profesor asociado en la Universidad Carnegie Mellon por el momento a los 27 y se convirtió en profesor en la Universidad de Stanford seis años más tarde.

Recibió el Premio Turing en 1978 "para tener una clara influencia sobre metodologías para la creación de software eficiente y confiable y para ayudar a encontrar los siguientes subcampos importantes de la informática: la teoría de análisis, la semántica de lenguajes de programación automática, verificación de programa automático, síntesis del programa y análisis de algoritmos".
Sus contribuciones incluyen el diseño del algoritmo de Floyd-Warshall (independientemente de Stephen Warshall), que considera eficaz todas las rutas de menor en un gráfico, ciclo algoritmo Floyd de detección de ciclos en una secuencia y su trabajo en analizar. En un documento aislado introdujo el concepto importante de difusión de error para imágenes de representación, también llamado Floyd–Steinberg tramado (aunque distinguió el tramado de difusión). Un logro importante fue pionero en el campo de la verificación del programa mediante aserciones lógicos con el papel de 1967 Asignar significados a programas. Esto fue una importante contribución a lo que más tarde se convirtió en lógica de Hoare.

Obtenido de:

* http://www.microsofttranslator.com/BV.aspx?ref=IE8Activity&a=http%3A%2F%2Fwww.freebase.com%2Fview%2Fen%2Frobert_floyd

* http://www.microsofttranslator.com/bv.aspx?from=&to=es&a=http%3A%2F%2Fen.wikipedia.org%2Fwiki%2Findex.html%3Fcurid%3D301900