Alternative names (4)
Turing Award year • TuringAwardCitation • TuringAwardCo-recipient • TuringAwardForRandom triples
| Subject | Object |
|---|---|
| gptkb:Andrew_Yao | 2000 |
| gptkb:Charles_P._Thacker | 2009 |
| gptkb:Robert_Endre_Tarjan | 1986 |
| gptkb:Edmund_M._Clarke | 2007 |
| gptkb:Robert_W._Floyd | 1978 |
| gptkb:Thomas_Steven_Cook | contributions to the theory of computational complexity, specifically NP-completeness |
| gptkb:Edsger_Dijkstra | fundamental contributions to programming as a high, intellectual challenge |
| gptkb:Robert_Endre_Tarjan | for fundamental achievements in the design and analysis of algorithms and data structures |
| gptkb:Charles_Bachman | Outstanding contributions to database technology |
| gptkb:Juris_Hartmanis | 1993 |
| gptkb:Whitfield_Diffie | gptkb:Martin_Hellman |
| gptkb:Richard_Karp | 1985 |
| gptkb:Dana_Scott | 1976 |
| gptkb:L._Lamport | fundamental contributions to the theory and practice of distributed and concurrent systems |
| gptkb:Robin_Milner | For three distinct and complete achievements: LCF, ML, and CCS. |
| gptkb:John_W._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. |
| gptkb:Charles_Bachman | 1973 |
| gptkb:John_W._Backus | 1977 |
| gptkb:Thomas_Steven_Cook | 1982 |
| gptkb:Ronald_L._Rivest | inventing the RSA cryptosystem |