1978 – Robert W. Floyd
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.
Citation [Home] [ACM Awards] [A. M. Turing Award] |