(8 de junio de 1936 - 25 de
septiembre de 2001) fue un prominente científico estadounidense en informática.
Nacido en Nueva York, Floyd culminó
el bachillerato a los 14 años. Se graduó en la Universidad de Chicago en 1953 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 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.
Referencias
Wikipedia(2018).Robert W. Floyd. 22
de abril de 2019, de Wikipedia. Sitio web:https://es.wikipedia.org/wiki/Robert_W._Floyd
Fotografía Robert W. Floyd. [imagen] Disponible en:https://cs.stanford.edu/sites/default/files/hhfffhcc.png [Consultada el 22 de
abril de 2019]
No hay comentarios.:
Publicar un comentario