jueves, 20 de septiembre de 2012

Robert W. Floyd



Robert W (Bob) Floyd (8 junio 1936 a 25 septiembre 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 de manera eficiente busca todos los caminos más cortos en un gráfico , el ciclo de Investigación Floyd algoritmo para la detección de ciclos en una secuencia, y su trabajo en el análisis. En un artículo aislado introdujo el concepto importante de difusión de errores para las imágenes que prestan, también llamado Floyd-Steinberg (aunque él distingue tramado de difusión). Un logro significativo fue pionero en el campo de la verificación de programas utilizando aserciones lógicas con los 1967 Significados de papel asignando a los programas. Esta fue una importante contribución a lo que más tarde se convirtió en la lógica de Hoare. 
 profesor emérito y ex presidente del Departamento de Ciencias de la Computación, murió el 25 de septiembre después de una larga enfermedad. Tenía 65 años.
.Una beca le permitió estudiar en la Universidad de Chicago, donde obtuvo una licenciatura en artes liberales en 1953 a los 17 años. Después de que él mismo apoyó y obtuvo otra licenciatura en física en 1958.

Aunque él nunca fue a través de los trámites de obtención de un doctorado, antes de su nombramiento como profesor asociado de ciencias informáticas en Stanford en 1968, había escrito por lo menos una docena de documentos considerados superiores a cualquier tesis doctoral en ciencias de la computación en el momento. Su investigación incluyó el diseño y análisis de algoritmos para la búsqueda de los caminos más cortos en una red, el análisis (descomposición) lenguajes de programación, cálculo de cuantiles, la impresión de tonos de gris en una impresora de puntos, la clasificación de la información y la selección de las permutaciones y combinaciones aleatorias.

Su logro científico más importante, sin embargo, fue pionero de métodos sistemáticos de verificación del programa. Su papel seminal 1967 "Significados asignando a los programas", abrió la esfera de la verificación del programa. Su idea básica era unir las llamadas "etiquetas" en la forma de aserciones lógicas a las declaraciones individuales del programa o ramas que se definen los efectos del programa sobre la base de una definición formal semántica del lenguaje de programación. Muchos investigadores en métodos formales de computación en todo el mundo adoptaron este método. Una de las influencias más importantes fue el CAR Hoare, quien en 1969, a partir del trabajo de Floyd, desarrolló su cálculo de la semántica pre y postcondición para los programas de ordenador.

Desde el principio, Knuth y Floyd habían encontrado sus intercambios académicos tan productiva que decidieron que tenía que estar en la misma institución, y ambos llegaron a Stanford. Los dos estaban en constante comunicación cuando Knuth estaba trabajando en su libro The Art of Computer Programming (originalmente la intención de ser un volumen), que debía reunir a todos los algoritmos interesantes que la informática tenía que ofrecer. Pero Knuth no pudo terminar su libro. A medida que escribía, que constantemente tenía que hacer frente a nuevos algoritmos y elegantes que necesitaba para acomodar. Floyd, el libro de mayor publicación previa revisor y la persona citada más que nadie en el libro, fue el principal "culpable". The Art of Computer Programming eventualmente se transformó en una serie de siete volúmenes y sigue siendo un trabajo en progreso.

Floyd pudo haber sido el primer defensor de refactorización - la reescritura de los programas de trabajo a partir de cero, volver a usar sólo las ideas esenciales. Refactoring es una práctica habitual entre los programadores de computadoras. Por continuamente buscando formas más simples de hacer lo mismo, Floyd tuvo como objetivo mejorar no sólo los programas sino también las habilidades de los programadores y la comprensión.

En Stanford, fue profesor de cursos de algoritmos, incluyendo "Ordenación y búsqueda". Con su ex estudiante graduado de Richard Beigel, escribió un libro titulado El lenguaje de las máquinas: Introducción a la computabilidad y Lenguajes Formales (Computer Science Press, 1994).

Floyd fue director del Departamento de Ciencias de la Computación de 1973 a 1975, un período de crecimiento departamental grande cuando Informática pasado de Forsythe Hall para más céntrico Salón Margaret Jacks. Floyd fue capaz de utilizar el prestigio de su cargo junto con Amnistía Internacional y un cuadro internacional de científicos de sistemas para ayudar a salvar el ex ministro de Educación chileno Fernando Flores, quien fue relegado por el gobierno de Pinochet a uno de los campamentos de Chile peores prisiones. Sobre la base de una invitación para estudiar en Stanford, publicado por Floyd, Flores se le permitió abandonar el país con su familia, que finalmente terminó sus estudios en Berkeley y co-autor de un libro de ciencias de la computación de Stanford Profesor Terry Winograd.

En 1978, Floyd ganó la Association for Computing Machinery (ACM) Premio Turing - el más alto honor en ciencias de la computación - "para tener una clara influencia sobre las metodologías para la creación de software eficiente y confiable, y para ayudar a fundar el siguiente importante sub-campos de la informática.: la teoría del análisis, la semántica de los lenguajes de programación, verificación automática de programas, síntesis automática de programas y análisis de algoritmos "

En 1991, el Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) Computer Society otorgó su Premio Floyd Pioneer Computer por su trabajo en los primeros compiladores. (Un compilador es el software que traduce un programa de ordenador como un todo en código de máquina que se guarda para su posterior ejecución en un momento deseado.)

Floyd, quien se retiró de Stanford en 1994, fue miembro de la Academia Americana de las Artes y las Ciencias, la Asociación Americana para el Avance de la Ciencia y la ACM.


Stanford News Service



No hay comentarios:

Publicar un comentario