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 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».
Robert W. Floyd (1967) Assigning Meanings to Programs. En J. T. Schwartz (ed.): Proceedings of Symposium on Applied Mathematical Aspects of Computer Science, American Mathematical Society, pp. 19-32.
robert, floyd, junio, 1936, septiembre, 2001, prominente, científico, estadounidense, informática, robert, floydinformación, personalnombre, inglésrobert, floydnacimiento8, junio, 1936, estados, unidos, nueva, yorkfallecimiento25, septiembre, 2001, añosstanfor. Robert W Floyd 8 de junio de 1936 25 de septiembre de 2001 fue un prominente cientifico estadounidense en informatica Robert FloydInformacion personalNombre en inglesRobert W FloydNacimiento8 de junio de 1936 Estados Unidos Nueva YorkFallecimiento25 de septiembre de 2001 65 anosStanford Estados Unidos NacionalidadestadounidenseFamiliaConyugeChristiane FloydEducacionEducado enUniversidad de ChicagoInformacion profesionalOcupacioncientifico informatico profesorEmpleadorUniversidad Carnegie MellonUniversidad StanfordEstudiantes doctoralesRonald Rivest y Robert TarjanMiembro deAcademia Estadounidense de las Artes y las CienciasAssociation for Computing MachineryDistincionesPremio Turing en 1978 editar datos en Wikidata Nacido en Nueva York Floyd culmino el bachillerato a los 14 anos Se graduo en la Universidad de Chicago en 1953 a los 17 anos y como Fisico en 1958 Operador de computadoras en los anos 60 publico sus primeros articulos los cuales fueron de gran influencia y fue nombrado profesor asociado en la Universidad de Carnegie Mellon Seis anos mas tarde fue nombrado profesor en la Universidad de Stanford Entre sus contribuciones se encuentran el diseno y analisis de algoritmos eficientes para encontrar el camino mas corto en un grafo y para el problema de reconocimiento de frases pero probablemente su logro mas importante fue el ser pionero con su articulo de 1967 Assigning Meanings to Programs en el area de verificacion de programas utilizando aserciones logicas donde aparece la importante nocion de invariante esencial para demostrar propiedades de programas iterativos Floyd recibio el Premio Turing de la ACM en 1978 por tener una clara influencia en las metodologias para la creacion de software eficiente y confiable y por haber contribuido a la fundacion de las subareas teoria del reconocimiento de frases semantica de los lenguajes de programacion verificacion automatizada de programas sintesis automatizada de programas y analisis de algoritmos Vease tambien EditarAlgoritmo de Floyd WarshallPublicaciones EditarRobert W Floyd 1967 Assigning Meanings to Programs En J T Schwartz ed Proceedings of Symposium on Applied Mathematical Aspects of Computer Science American Mathematical Society pp 19 32 Enlaces externos Editarhttp sigact acm org floyd https web archive org web 20031227035839 http www stanford edu dept news report news november7 floydobit 117 html Predecesor John Backus Premio Turing1978 Sucesor Kenneth E Iverson Datos Q92641Obtenido de https es wikipedia org w index php title Robert W Floyd amp oldid 136850987, wikipedia, wiki, leyendo, leer, libro, biblioteca,
