Floyd terminó la
escuela a los 14 años. En la Universidad
de Chicago , recibió unalicenciatura en artes
liberales en 1953 y una licenciatura en física en 1958. loyd 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. Recibió elPremio 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 ".
Entre sus
contribuciones incluyen el diseño del algoritmo
de Floyd-Warshall, que encuentra de manera eficiente
todas las trayectorias más cortas en un gráfico , el
ciclo de investigación de Floyd algoritmo 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. 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.
FERENCIAS
No hay comentarios:
Publicar un comentario