|
gptkb:Robert_Tarjan
|
for fundamental achievements in the design and analysis of algorithms and data structures
|
|
gptkb:Sir_Maurice_Wilkes
|
For his work on the EDSAC and contributions to the development of computer science.
|
|
gptkb: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.
|
|
gptkb:John_Backus
|
For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for publication of formal procedures for the specification of programming languages.
|