Científico e informático estadounidense (1936-2001).
Egresado de la Universidad de Chicago en 1953 a los 17 años y como Físico en 1958.
Operador de computadoras en los años 60, publicó sus primeros artículos los cuales fueron de gran influencia y fue nombrado profesor asociado en la Universidad de Carnegie Mellon. Seis años más tarde fue nombrado profesor en la Universidad de Stanford.
Entre sus contribuciones se encuentran el diseño y análisis de algoritmos eficientes para encontrar el camino más corto en un grafo para el problema de reconocimiento de frases, pero probablemente su logro más importante fue el ser pionero, con su artículo de 1967 "Assigning Meanings to Programs", en el área de verificación de programas utilizando aserciones lógicas, donde aparece la importante noción de invariante, esencial para demostrar propiedades de programas iterativos.
Cuando se retiró en 1994, él y Richard Biegel publicaron un libro El lenguaje de las máquinas: introducción a la computabilidad y los lenguajes formales, que describe una teoría de la complejidad computacional basada en la máquina. Le dio mucha satisfacción verlo traducido a otros idiomas.
Poco antes de su retiro en 1994, Floyd se vio afectado por una enfermedad neurodegenerativa que comenzó a robarle sus instalaciones físicas y mentales. Sus habilidades intelectuales eran tan fuertes que logró continuar con su investigación, pero a un ritmo más lento. En unos pocos años, su condición se había deteriorado hasta el punto de que dejó de responder. Murió en 2001
Tuvo una importante influencia en las metodologías para la creación de software eficiente y confiable, y ayudó a fundar los siguientes subcampos importantes de la informática: la teoría del análisis, la semántica de los lenguajes de programación, la verificación automática de programas, la síntesis automática de programas y el análisis de algoritmos, razón por la que fue acreedor al Premio Turing de la ACM en 1978.
Bibliografía:
Robert W. Floyd . [en línea].<http://en.wikipedia.org/wiki/Robert_W._Floyd>.Consulta:Septiembre 15, 2012
[Anónimo]. Robert W. Floyd. [Imagen]. Recuperado de: <http://tinyurl.com/bopo9bp >.Septiembre 15, 2012.
Comentarios
Publicar un comentario