Biografía Robert W. Floyd

Robert W. Floyd 

Nacio el 8 de junio de 1936 en Nueva York, 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 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.

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.

Murio el 25 de septiembre de 2001.

http://goo.gl/7vXH5

http://goo.gl/lg2Km

UNIDAD II Biografía Dijkstra

Dijkstra nació el 11 de mayo de 1930 en Rotterdam, Holanda, hijo de un químico y una matemática. Estudio física y matemáticas en la Univ. de Leyden  terminando en 1951, para 1956 termino un doctorado en la misma universidad, En 1952 comenzó a trabajar en el Centro Matemático de Amsterdam donde aprendió a programar, siendo el primer programador en Holanda. En 1962 pasó a ser profesor en la Univ. Tecnológica de Eindhoven hasta 1984.

Escribió más de 1300 artículos, pero indudablemente hay tres contribuciones cuyo impacto está presente en numerosos ámbitos de la computación moderna:

• Algoritmo para encontrar el camino más corto en un grafo: este fue el primer problema de grafos que resolvió Dijkstra en 1956 y publicado en 1959 por que en esa época un algoritmo era difícilmente considerado un logro científico. Hoy en día, este algoritmo ha sido usado como la base para protocolos de enrutamiento en Internet, sistemas de posicionamiento global o simplemente para itinerarios de viaje.

•  El concepto de abrazo mortal (deadlock) y su solución a través de semáforos y regiones de código con acceso exclusivo. 

• Su aporte a la programación estructurada. Dijkstra participó en el comité que diseño Algol 60, el primer lenguaje de programación estructurado, y lo promovió intensamente fomentando la verificación formal de programas y la eliminación del goto.

Murio el 6 de agosto del 2002 a causa del cancer.


http://goo.gl/Dr060