Robert W. Floyd

Born June 8, 1936, New York, N. Y; substantial contributor to understanding the meaning of programs, predating the seminal work of Antony Hoare,- recipient of the 1978 ACM Turing Award.

Education: BA, University of Chicago, 1955; BS, University of Chicago, 1958.

Professional Experience: electrical engineer, Westinghouse Electrical, 1955-1956; computer operator, programmer, and analyst, Armour Research Foundation, 1956-1962; senior project scientist, Computer Associates, 1962-1965; associate professor of computer science, Carnegie-Mellon University, 1965-1968; Stanford University: associate professor, 1968-1970, chairman, 1973-1976, professor of computer science, 1970-present.

Honors and Awards: ACM Turing Award, 1978; fellow, American Academy of Arts and Sciences; IEEE Computer Society Pioneer Award, 1991.

UPDATES

Floyd received the ACM Turing Award for "For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms." (MRW, 2012)

Floyd died September 25, 2001. (MRW, 2012)