Tugurium/GTI

Glosario Terminología Informática

Floyd, Robert W.

0 Estados Unidos, 1936 - 2002
Matemático y Físico. Realizó importantes aplicaciones en teoría de grafos, análisis sintáctico, semántica de los leguajes de programación, verificación automática de programas, síntesis automática de programas y análisis de algoritmos. Sentó las bases de la verificación de programas mediante el uso de aserciones lógicas con su trabajo "Assigning Meanings to Programs". Fue uno de los inventores del "deterministic linear time selection algorithm". Introdujo mejoras en los algoritmos "quicksort" y "quickselect", e inventó docenas de algoritmos y técnicas de programación que todavía están en uso hoy en día. Nunca se doctoró, por que según sus palabras "no tenía tiempo para detalles académicos". No obstante, al menos una docena de sus artículos se consideran superiores en calidad a cualquier tesis doctoral típica de su tiempo. Galardonado con el Premio Turing en 1978.
2005-02-16
Robert W. Floyd en Stanford, en 1972

Robert W. Floyd en Stanford, en 1972