Biografia Floyd :D

Robert W.Floyd

Nació: 8 de Junio de 1936 en Nueva York.

Murió: 25 de Septiembre de 2001 a los 65 años.

 Fue un científico estadounidense en informática Sus contribuciones incluyen el diseño del algoritmo de Floyd-Warshall (independientemente de Stephen Warshall), que se encuentra de manera eficiente todos los caminos más cortos en un gráfico , el ciclo de investigación de Floyd algoritmo para detectar ciclos en una secuencia, y su trabajo en el análisis.

Sus padres se trasladaron  más de una docena de veces antes de que el fuera   a la universidad,un niño prodigio, había leído todos los libros que caían en sus manos, recibió una beca para entrar en la Universidad de Chicago a los 15 años, en un programa experimental para niños superdotados y recibió una licenciatura en artes en 1953 a los 17 años, al igual que muchos niños que han sido inusuales a través de programas acelerados,pronto perdió su gusto por la escuela convencional y continuó sus estudios a tiempo parcial, a partir del trabajo en la fundación de investigación  en el Illinois Instituto de tecnología, comenzó como un autodidacta operador de la computadora y luego,se convirtió en programador y analista.

 En 1962 se convirtió en un alto científico programador  en Computer Associates en Massachusetts una empresa de software especializada en principios a la creación de programas llamados compiladores.

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.

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».

En un documento aislado que introdujo el concepto importante de difusión de errores para las imágenes de la representación, también llamado Floyd-Steinberg tramado (a pesar de que distinguidos tramado de difusión). Un logro importante, fue pionero en el campo de verificación de programas con afirmaciones lógicas con el artículo de 1967 asignar significados a los programas. Esta fue una importante contribución a lo que más tarde se convirtió en la lógica de Hoare.

Publicaciones:Robert W. Floyd (1967) Assigning Meanings to Programs. En J. T. Schwartz (ed.): Proceedings of Symposium on Applied Mathematical Aspects of Computer Science, American Mathematical Society..

Referencias: 

http://www.computer.org/portal/web/awards/cp-floyd

http://es.wikipedia.org/wiki/Robert_W._Floyd

http://resources.metapress.com/pdf-preview.axd?code=pv215ulwl4679m54&size=largest
http://arodrigu.webs.upv.es/grafos/doku.php?id=algoritmo_floyd_warshall