ROBERT W. FLOYD
Robert W. Floyd (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ó bachillerato a los 14 años. Se
graduó en la Universidad de Chicago en 1953 a los 17 años y como Físico en1958.
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».
Robert
W. Floyd [en línea] Recuperado de: http://es.wikipedia.org/wiki/Robert_W._Floyd
Consulta: Septiembre 16, 2012
No hay comentarios:
Publicar un comentario