Robert W. Floyd
Educación: Floyd terminó la escuela a los 14 años. En la Universidad de Chicago, recibió una licenciatura en artes liberales en 1953 (cuando todavía sólo 17) y una licenciatura en segundo la física en 1958.
Murió: 25 de septiembre 2001 (65 años) en Stanford.
Carrera: 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 ".
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 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 (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.
No hay comentarios:
Publicar un comentario