Ir al contenido principal

Robert W.Floyd


Científico e informático estadounidense (1936-2001).
Robert W. Floyd
Egresado de 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 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.
Cuando se retiró en 1994, él y Richard Biegel publicaron un libro El lenguaje de las máquinas: introducción a la computabilidad y los lenguajes formales, que describe una teoría de la complejidad computacional basada en la máquina. Le dio mucha satisfacción verlo traducido a otros idiomas.
Poco antes de su retiro en 1994, Floyd se vio afectado por una enfermedad neurodegenerativa que comenzó a robarle sus instalaciones físicas y mentales. Sus habilidades intelectuales eran tan fuertes que logró continuar con su investigación, pero a un ritmo más lento. En unos pocos años, su condición se había deteriorado hasta el punto de que dejó de responder. Murió en 2001
Tuvo una importante influencia en las metodologías para la creación de software eficiente y confiable, y ayudó a fundar los siguientes subcampos importantes de la informática: la teoría del análisis, la semántica de los lenguajes de programación, la verificación automática de programas, la síntesis automática de programas y el análisis de algoritmos, razón por la que fue acreedor al Premio Turing de la ACM en 1978.

Bibliografía:

Robert W. Floyd . [en línea].<http://en.wikipedia.org/wiki/Robert_W._Floyd>.Consulta:Septiembre 15, 2012
[Anónimo]. Robert W. Floyd. [Imagen]. Recuperado de: <http://tinyurl.com/bopo9bp >.Septiembre 15, 2012.

Etiquetas:

Comentarios

Publicar un comentario

Entradas más populares de este blog

Distribución Beta

Conocimientos previos: Aproximación de la distribución Binomial a la Normal. Es una distribución continua definida por dos parámetros, puede adoptar diferentes formas dependiendo de los valores de los parámetros. La distribución beta se usa para variables aleatorias entre 0 y 1. Suele utilizarse para modelar la distribución de datos estadísticos de orden (por ejemplo, el estadístico de orden k ésimo  de una muestra de variables n uniformes (0, 1) tiene una distribución beta (k, n + 1 – k)) y para modelar eventos que se definen por mínimos y máximos.   La escala de la distribución beta suele modificarse para modelar tiempo, desde el inicio hasta la culminación de una tarea. La distribución beta también se usa en estadísticas bayesianas, las cuáles   requieren de la formulación de un conjunto de distribuciones previas para los parámetros desconocidos, es decir;  distribución de valores previos de una probabilidad binomial. Su fórmula es  Distribución uniforme Cuando amba
Publicar un comentario
Leer más

William R. Vogel

(1941 - 2010) Trayectoria académica Hijo de Roy y Minnie  Vogel . Vivió sus primeros años en una granja al oeste de Iowa,  en 1959  egresó como alumno destacado para  asistir a AIB durante un año. Tiempo después prestó sus servicios a la Reserva del Ejército por seis años.  Se trasladó a Storm Lake en 1964, donde trabajó en el banco de la cuidad y contrajo matrimonio con Karaan Vogel, sin embargo un año después volvería a cambiarse de residencia a Des Moines, donde trabajó en Northwestern Bell / Qwest durante 25 años, como Director Financiero y 12 años como analista de telecomunicaciones. Después de su retiro a los 62 años. Método de Vogel Hizo grandes aportaciones a la rama de Optimización.  Propuso el método que lleva su nombre, un método heurístico  que sirve para obtener una mejor solución óptima para el problema de transporte.  El cual consta de evaluar renglones y columnas con una penalización igual a la diferencia entre los dos costos más pequeños en el renglón. 
Publicar un comentario
Leer más