Robert W. Floyd
(1936 - 2001)
Nacido en Nueva York, el 8 de junio de 1936, fue un prominente científico estadounidense en informática. Terminó el bachillerato a los 14 años y se graduó de la Universidad de Chicago en 1953 a los 17 años, para 1958 con sólo 22 años se convirtió en Físico.
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 ubicada en Pittsburgh, Pensilvania. Seis años más tarde fue nombrado profesor en la Universidad de Stanford en California.
Entre sus contribuciones se encuentran el diseño y análisis de algoritmos eficientes para encontrar el camino más corto en un grafo y 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.
Floyd recibió el Premio Turing de la ACM en 1978 «por tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y por haber contribuido a la fundación de las subáreas teoría del reconocimiento de frases, semántica de los lenguajes de programación, verificación automatizada de programas, síntesis automatizada de programas y análisis de algoritmos».
Murió en 25 de septiembre de 2001 a la edad de 65 años.
REFERENCIAS__________
INFORMACIÓN
N.A., (2018). Robert W. Floyd. Abril 23, 2019, de Wikipedia Sitio web:
A-Z QUOTES. ( 2016). TOP 5 QUOTES BY ROBERT W. FLOYD | A-Z Quotes. [imagen]. Recuperado de
Comentarios
Publicar un comentario