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 terminó la escuela a los 14 años. En la Universidad de Chicago, recibió una licenciatura en artes liberales en 1953 a los 17 años y una segunda licenciatura en física en 1958.

Floyd se convirtió en un miembro del personal de la Fundación Armour Research (ahora IIT Research Institute) en el Illinois Institute of Technology en 1950. Convertirse en un operador de la computadora en la década de 1960, comenzó a publicar numerosos trabajos notables y fue nombrado profesor asociado en la Universidad Carnegie Mellon en el momento en que tenía 27 años y se convirtió en profesor titular en la Universidad de Stanford seis años después. Él obtuvo esta posición sin un Ph.D.

Recibió el Premio Turing de la ACM en 1978 "por tener una clara influencia sobre las metodologías para la creación de software eficiente y confiable, y para ayudar a encontrar los siguientes subcampos importantes de la informática: la teoría del análisis , las semántica de los lenguajes de programación , automático programa verificación , automático síntesis de programas , y análisis de algoritmos".

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 trabajó en estrecha colaboración con Donald Knuth , en particular por lo que el revisor principal para el libro seminal de Knuth El arte de programar ordenadores , y es la persona más citada en este trabajo. 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-0-7167-8266-7 ). Floyd supervisados ​​7 doctorados.

Floyd se casó y se divorció dos veces, incluso con equipo científico Christiane Floyd , y tenía cuatro hijos. Sus pasatiempos incluyen senderismo y era un ávido backgammon jugador.

En una ocasión estaban atrapados en el aeropuerto O'Hare de Chicago durante horas, esperando nuestro vuelo para salir, debido a una tormenta de nieve. Cuando nos sentamos en nuestra puerta, Bob me preguntó, de manera casual, "¿sabes cómo jugar al backgammon?", Respondí yo conocía las reglas, pero ¿por qué quieres saber? Bob dijo que desde que tuvimos que esperar varias horas tal vez deberíamos jugar algunos juegos, con apuestas pequeñas, por supuesto. Luego buscó en su maletín y sacó un juego de backgammon.

Mi papá me enseñó muchas cosas. Uno de ellos fue a desconfiar de cualquiera que sugiera una partida de billar por dinero, y luego se abre un estuche negro y comienza a atornillar un palo de billar. Me imaginé que este consejo generalizado a todo el que viajaron con su propio set de backgammon. Le dije a Bob que yo no iba a jugar por dinero, ni hablar.Empujó un poco, pero finalmente dijo bien. Procedió en lugar de darme una lección libre en el arte y la ciencia de jugar backgammon.

Yo tenía razón para pasar a jugar con él por dinero en cualquier juego. La lección fue muy divertido. Más tarde me enteré que durante años había estado trabajando en aprender el juego. Él tomó muy en serio a jugar al backgammon, estudió el juego y sus matemáticas, y era un profesional cercano. Creo que fue más que un hobby. Al igual que su investigación, Bob tomó en serio lo que él hizo, y es totalmente coherente que sería genial en backgammon.

Referencias:

• "Robert W. Floyd." - Wikipedia, La Enciclopedia Libre . Np, nd Web. 16 de septiembre 2012. <http://es.wikipedia.org/wiki/Robert_W._Floyd>.
• "Robert W. Floyd." Wikipedia . Wikimedia Foundation, 09 de junio de 2012. Web. 16 de septiembre 2012. <http://en.wikipedia.org/wiki/Robert_W._Floyd>.

Imagen obtenida: 

• Np, nd Web. 16 de septiembre 2012.<http://cs.stanford.edu/system/files/memoriam/hhfffhcc_0.png?1330125978>.