ROBERT W. FLOYD
(1936-2001)
Bob Floyd nació en Nueva York en 1936. Era un niño muy brillante y fue reconocido como un prodigio cuando tenía 6 años. A
pesar de pasar muchas veces durante sus años de escuela, él terminó la
escuela secundaria a los 14 años y fue admitido en un programa especial
para niños superdotados en la Universidad de Chicago. Recibió una licenciatura en 1953, cuando sólo tenía 17 años. Comenzó a trabajar para ganarse la vida y, al mismo tiempo, completó una segunda licenciatura en física en 1958.
Su introducción a la computación vino de un trabajo desde un operador de la computadora en la Fundación de Investigación Armadura del Instituto de Tecnología de Illinois. Su curiosidad lo llevó a convertirse en un programador mediante la lectura de los manuales, y rápidamente avanzó a ser un programador senior y analista. Al mismo tiempo, él comenzó su carrera de investigación mediante la publicación de un documento sobre interferencias de radio [1]. En Armour se interesó por los compiladores que traducen lenguajes de alto nivel en código de máquina. Se publicó un artículo que describe una nueva notación para sistemas de manipulación de símbolos que podrían ser utilizados para la construcción de compiladores. Luego publicó un artículo sobre un nuevo método de análisis de expresiones aritméticas que se traduce en código de máquina más eficiente. [2]
En 1962 fue nombrado Científico del Proyecto Principal de Computer Associates con sede en Massachusetts. Trabajó en los compiladores y publicado trabajos adicionales en la zona. En 1966 Donald Knuth estaba preparando el capítulo de su serie de libros famoso The Art of Computer Programming tratar con los compiladores y el análisis de la sintaxis, y se dio cuenta de que "sólo cinco papeles realmente buenas de los compiladores se había escrito hasta ahora, y Bob había sido el autor de los cinco ". Floyd es el autor más citado en la serie Art.
En 1967 Floyd construido en un trabajo anterior de Alan Perlis, Gorn Saúl y John McCarthy para probar programas correcta. Se desarrolló una notación, inicialmente para diagramas de flujo y más tarde para los programas reales, que las condiciones han asignado en cada rama y el punto de entrada en el programa. Algunas condiciones relacionadas con el valor de las variables, y aseguró que si estas condiciones eran ciertas momento de la entrada entonces podrían ser probada como verdadera en la salida. Otras condiciones demostrado ser un programa detendría, al exigir que, en cada paso, un valor que no disminuiría podría disminuir de forma indefinida. Antes de este enfoque, asegurando que un programa satisface sus especificaciones requeridas probando con diferentes datos, examinando la producción, corrigiendo errores, y luego tratar de nuevo. Aunque a veces eficaz, este proceso de depuración no pudimos probar todas las situaciones posibles. Los errores se encuentran a menudo en los últimos años grandes programas después de haber sido puesto en producción. El análisis matemático de Floyd fue el comienzo de una larga serie de intentos por él y otros para probar un programa correcto antes de que fuera entregado a los usuarios. Su artículo sobre este tema [3] fue muy influyente e inspirado Tony Hoare para desarrollar un sistema conocido como triples Hoare que fomentaron este trabajo.
Bob también inventó muchos algoritmos prácticos importantes. Los más conocidos son los que encontrar el camino más corto a través de redes, calcular la mediana de los datos, y procesar imágenes en escala de grises con píxeles binarios usando difusión de error-el algoritmo de Floyd-Sternberg.
Su introducción a la computación vino de un trabajo desde un operador de la computadora en la Fundación de Investigación Armadura del Instituto de Tecnología de Illinois. Su curiosidad lo llevó a convertirse en un programador mediante la lectura de los manuales, y rápidamente avanzó a ser un programador senior y analista. Al mismo tiempo, él comenzó su carrera de investigación mediante la publicación de un documento sobre interferencias de radio [1]. En Armour se interesó por los compiladores que traducen lenguajes de alto nivel en código de máquina. Se publicó un artículo que describe una nueva notación para sistemas de manipulación de símbolos que podrían ser utilizados para la construcción de compiladores. Luego publicó un artículo sobre un nuevo método de análisis de expresiones aritméticas que se traduce en código de máquina más eficiente. [2]
En 1962 fue nombrado Científico del Proyecto Principal de Computer Associates con sede en Massachusetts. Trabajó en los compiladores y publicado trabajos adicionales en la zona. En 1966 Donald Knuth estaba preparando el capítulo de su serie de libros famoso The Art of Computer Programming tratar con los compiladores y el análisis de la sintaxis, y se dio cuenta de que "sólo cinco papeles realmente buenas de los compiladores se había escrito hasta ahora, y Bob había sido el autor de los cinco ". Floyd es el autor más citado en la serie Art.
En 1967 Floyd construido en un trabajo anterior de Alan Perlis, Gorn Saúl y John McCarthy para probar programas correcta. Se desarrolló una notación, inicialmente para diagramas de flujo y más tarde para los programas reales, que las condiciones han asignado en cada rama y el punto de entrada en el programa. Algunas condiciones relacionadas con el valor de las variables, y aseguró que si estas condiciones eran ciertas momento de la entrada entonces podrían ser probada como verdadera en la salida. Otras condiciones demostrado ser un programa detendría, al exigir que, en cada paso, un valor que no disminuiría podría disminuir de forma indefinida. Antes de este enfoque, asegurando que un programa satisface sus especificaciones requeridas probando con diferentes datos, examinando la producción, corrigiendo errores, y luego tratar de nuevo. Aunque a veces eficaz, este proceso de depuración no pudimos probar todas las situaciones posibles. Los errores se encuentran a menudo en los últimos años grandes programas después de haber sido puesto en producción. El análisis matemático de Floyd fue el comienzo de una larga serie de intentos por él y otros para probar un programa correcto antes de que fuera entregado a los usuarios. Su artículo sobre este tema [3] fue muy influyente e inspirado Tony Hoare para desarrollar un sistema conocido como triples Hoare que fomentaron este trabajo.
Bob también inventó muchos algoritmos prácticos importantes. Los más conocidos son los que encontrar el camino más corto a través de redes, calcular la mediana de los datos, y procesar imágenes en escala de grises con píxeles binarios usando difusión de error-el algoritmo de Floyd-Sternberg.
Al principio de su carrera Floyd se reunió Donald Knuth y se convirtieron en los dos colaboradores y amigos. Floyd
fue el principal corrector y crítico para el famoso Knuth El arte de
programar ordenadores antes de que se expandió de un solo libro en una
serie. La colaboración se hizo más fuerte, y la aplicación Knuth Floyd patrocinado por un puesto en la Universidad de Stanford. Floyd
fue nombrado como Profesor Asociado en la Universidad de Stanford en
1968, lo cual era inusual para alguien sin un título de posgrado. Floyd
solía bromear diciendo que tenía la intención de obtener su doctorado a
través de los sellos "verdes", recogiendo el método, los sobres de
todas las cartas que recibía dirigidas al "Dr. R. Floyd ", y cuando él tenía lo suficiente que los cambiaría por un título real. Fue ascendido a profesor titular en 1970, y se convirtió en director del Departamento de Ciencias de la Computación en 1973.
Bob tenía una fuerte conciencia social y fue un destacado miembro de Amnistía Internacional. Él utilizó su influencia para ayudar a liberar el ex ministro de Educación chileno Fernando Flores de prisión por la junta militar. Flores se sumaron el departamento de informática de Stanford como investigador.
Bob amó senderismo y escalada en roca. Él era un ávido jugador de backgammon, el juego y estudió cuidadosamente. Tuvo su segundo nombre cambió a la letra "W", pero a menudo lo escribió como una abreviatura con un punto ("W"). Se casó y se divorció dos veces y tuvo una hija y tres hijos.
Cuando se retiró en 1994, él y Richard Biegel publicó un libro El lenguaje de las máquinas: una introducción a Idiomas computabilidad y formal [4], que describe una máquina basada en la teoría de la complejidad computacional. Eso le dio una gran satisfacción ver que traducido a otros idiomas.
En algún momento poco antes de su retiro en 1994, Floyd fue atacado por una enfermedad neurodegenerativa que se empezó a robarle sus dos facultades mentales y físicas. Sus capacidades intelectuales eran tan fuertes que se las arregló para continuar con su investigación, pero a un ritmo más lento. En pocos años, su condición se había deteriorado hasta el punto de que él dejaba de responder. Él murió en 2001.
Cuando murió una resolución memorial fue creado por sus colegas de Stanford. Esa resolución incluye otros detalles de su vida y obra y se puede encontrar aquí.
Bob tenía una fuerte conciencia social y fue un destacado miembro de Amnistía Internacional. Él utilizó su influencia para ayudar a liberar el ex ministro de Educación chileno Fernando Flores de prisión por la junta militar. Flores se sumaron el departamento de informática de Stanford como investigador.
Bob amó senderismo y escalada en roca. Él era un ávido jugador de backgammon, el juego y estudió cuidadosamente. Tuvo su segundo nombre cambió a la letra "W", pero a menudo lo escribió como una abreviatura con un punto ("W"). Se casó y se divorció dos veces y tuvo una hija y tres hijos.
Cuando se retiró en 1994, él y Richard Biegel publicó un libro El lenguaje de las máquinas: una introducción a Idiomas computabilidad y formal [4], que describe una máquina basada en la teoría de la complejidad computacional. Eso le dio una gran satisfacción ver que traducido a otros idiomas.
En algún momento poco antes de su retiro en 1994, Floyd fue atacado por una enfermedad neurodegenerativa que se empezó a robarle sus dos facultades mentales y físicas. Sus capacidades intelectuales eran tan fuertes que se las arregló para continuar con su investigación, pero a un ritmo más lento. En pocos años, su condición se había deteriorado hasta el punto de que él dejaba de responder. Él murió en 2001.
Cuando murió una resolución memorial fue creado por sus colegas de Stanford. Esa resolución incluye otros detalles de su vida y obra y se puede encontrar aquí.
Don Knuth, un amigo y colega cercano, escribió otra pieza memorial describiendo sus relaciones y su efecto en el trabajo de Bob Knuth. Se publicó como "Floyd Robert W, In Memoriam", ACM SIGACT News, Volumen 34, No. 4, diciembre 2003, pp 3-13.
Referencias :
ROBERT W. FLOYD (En linea) http://amturing.acm.org/award_winners/floyd_3720707.cfm Consulta 16 de Septiembre de 2012 <Anónimo>
ROBERT W. FLOYD (Imágen) Recuperada en http://amturing.acm.org/award_winners/floyd_3720707.cfm Consulta 16 de Septiembre de 2012
ROBERT W. FLOYD (Imágen) Recuperada en http://amturing.acm.org/award_winners/floyd_3720707.cfm Consulta 16 de Septiembre de 2012
No hay comentarios:
Publicar un comentario