Robert W. Floyd





Nació el 8 de Junio de 1936 en New York fue un prominente científico estadounidense en informática.
Floyd culminó el bachillerato a los 14 años y de la universidad se graduó a los 17 y como físico a los 22.
En los años 60's 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.
Sus principales contribuciones fueron:
  * Algoritmo de Floyd- Warshall
  * 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 su logro mas importante fue ser pionero en el campo de la verificación de programas con afirmaciones lógicas con su artículo "Assigning Meanings to Programs".

Floyd trabajó en estrecha colaboración con Donald Knuth, en particular, como el usuario principal para el libro seminal de Knuth The Art of Computer Programming, y es la persona más citada en este trabajo. Él fue el co-autor, junto con Richard Beigel, del libro de texto El lenguaje de las máquinas: una Introducción a la Computabilidad y lenguajes formales (1994, WH Freeman and Company. ISBN 978-0716782667).

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

Floyd falleció el 25 de septiembre de 2001.

Referencias:

http://en.wikipedia.org/wiki/Robert_W._Floyd
Imagen recuperada de: 
http://www.tugurium.com/gti/termino.php?Tr=Floyd%2C%20Robert%20W.

Comentarios

Publicar un comentario

Entradas más populares de este blog

Ejercicio de participación 1, Problema 2

Imagen
2.       Una compañía suministra bienes a tres clientes, y cada uno requiere 30 unidades. La compañía tiene dos almacenes. El almacén 1 tiene 40 unidades disponibles y el almacén dos tiene 30 disponibles. Los costos de enviar una unidad desde el almacén al cliente se muestran a continuación. Hay una penalización por cada unida de demanda no suministrada al cliente: cliente 1 se incurre en un costo de penalización de $90 con el cliente 2 $80 y con el cliente 3 $110. Plantear los tres modelos equilibrados: de A Cliente 1 A Cliente 2 A Cliente 3 Almacén 1 $15 $35 $25 Almacén 2 $10 $50 $40
Leer más

Ejercicio de participación 2, Problema 1

Imagen
Generaciones de MAC del 2020 para arriba,  :V no sean asi, que casualidad que antes tenia 48 visitas y ahora son más de 700!! 1.       Steelco fabrica tres tipos de acero en diferentes plantas. El tiempo requerido para fabricar una tonelada de acero (sin importar el tipo) y los costos en cada planta se ilustran en la siguiente tabla. Cada semana debe producirse 100 toneladas de cada tipo de acero (1,2 y 3) Cada planta está abierta 40 hrs por semana. Plantear los tres modelos. Costo ($) Planta Acero 1 Acero 2 Acero 3 Tiempo (minutos) 1 60 40 28 20 2 50 30 30 16 3 43 20 20 15
Leer más

Ejercicio 3, Participación 5, Unidad 2

Imagen
3.     Los Hatfields, los Montagues, los Mochis y los Capuleto se van a su día de campo familiar anual. Se dispone de cuatro automóviles para transportar las familias. En los automóviles caben los siguientes números de personas: automóvil 1, cuatro; automóvil 2, tres; automóvil 3, tres, y automóvil 4, cuatro. Hay cuatro personas en cada familia, y ningún automóvil puede llevar más de dos personas de cualquier familia. Formule el problema de transportar el número máximo posible de personas al día de campo como un problema de flujo máximo.
Leer más