Robert W Floyd (nascido em 8 de junho de 1936, Nova York, NY, EUA - falecido em 25 de setembro de 2001), cientista da computação americano e vencedor do 1978 AM Turing Award, a maior honra em ciência da computação, por “ajudar a fundar os seguintes subcampos importantes da ciência da computação: a teoria da análise, a semântica das linguagens de programação, a verificação automática de programas, a síntese automática de programas e a análise de algoritmos. ”
Em 1953, Floyd se formou em artes liberais pela Universidade de Chicago, onde se matriculou como parte de um programa experimental para crianças sobredotadas. Quando se formou, ele foi contratado pela Armour Research Foundation do Instituto de Tecnologia de Illinois, primeiro como operador de computador e depois como programador de computador. Ele encontrou tempo para obter um segundo diploma de bacharel em física pela Universidade de Chicago em 1958. Em 1962, Floyd mudou-se para Wakefield, Massachusetts, para trabalhar como cientista de projeto sênior da Computer Associates, uma empresa de software especializada em escrita. compiladores.
Floyd ingressou na faculdade de ciência da computação do Instituto Carnegie de Tecnologia (hoje Universidade Carnegie Mellon) em 1965. A ciência da computação era uma nova disciplina acadêmica e Floyd foi fundamental para o desenvolvimento do currículo da escola. Em 1968, Floyd passou para o departamento de ciência da computação da Universidade de Stanford, onde se tornou professor titular em 1970. Logo após sua aposentadoria de Stanford, em 1994, Floyd foi diagnosticado com doença de Pick, uma forma rara de demência prematura.
Floyd foi eleito para a Academia Americana de Artes e Ciências, a Associação Americana para o Avanço da Ciência e a Associação para Máquinas de Computação (ACM). Ele atuou no conselho editorial da Communications of the ACM por muitos anos e recebeu o IEEE Computer Pioneer Award em 1992. Com o cientista de computação americano Richard Beigel, Floyd escreveu o clássico The Language of Machines: An Introduction to Computability and Formal Languages (1994)
