Robert W. Floyd
Award Recipient
Robert W. Floyd
ACM Fellows
USA - 1994
citation
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.
ACM A. M. Turing Award
USA - 1978
READ FULL CITATION AND ESSAYcitation
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.