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.
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)
New content Copyright © 2013-2015 by the IEEE Computer Society and the Institute of Electrical and Electronics Engineers Inc.
All rights reserved. This material may not be reproduced or redistributed without the express written permission of the copyright holder.