By Hla Min (Life Long Learner)
Update : December 10, 2021
Alan Matthias Turing
Famous British Mathematician and Pioneer in the Theory and Practice of Computing.
Sample Contributions
- Turing Machine
Abstract machine for Computation - Church Turing Thesis
Notion of Turing-Complete Computation - Turing Test
for Machine Intelligence - Early Computers
Ace, Deuce, … - Cryptography (during Second World War)
Alan M. Turing Award
- Most Prestigious Award given annually by ACM (Association of Computing Machinery)
- First awarded in 1966
- Considered to be the Nobel Prize in Computing
- The early recipients did not receive Cash awards.
- In the later decades, $25,000 and eventually $1 Million were awarded to the Winners
- There are currently 70 winners
- Three of them are female.
Liskov, Allen and Goldwasser - Turing Award Speeches / Lectures and Interviews can be found on the Internet
ACM web site
CHM web site
YouTube
The following are some Domains covering the work of winners.
Some worked on multiple domains.
- Algorithms
Knuth (1974) : The Art of Computer Programming, TeX, MetaFont
Floyd * (1976) : Also, Programming Languages and Compiler Techniques
Hoare (1980) : Quicksort, Axiomatic Semantics
Hopcroft &Tarjan (1986) - Architecture
Wilkes * (1967) : EDSAC, Microprogramming, Subroutine
Engelbert (1997) * : Computer Human Interface
Brooks (1999) : IBM S/360 and OS/360
Hennessey & Patterson (2017) : RISC, Architecture Book - Artificial Intelligence
Minsky * (1969) : Finite and Infinite Machines
Newell * &Simon * (1973) : Logic Theorist, General Problem Solver
McCarthy * (1974) : also Time Sharing System
Feigenbaum & Reddy (1994) : Expert Systems, Robotics, Speech - Compiling
Cocke * (1987)
Allen * (2006)
Aho & Ullman (2020) : Compiler Textbooks - Computing
Hamming * (1968) : Hamming Code for Error Correction
Wilkinson * (1970) : Numerical Analysis
Kahan (1989) : IEEE Floating Point - Cryptography
Adleman, Rivest & Shamir (2002) : RSA Algorithm
Goldwasser & Micali (2012) : also Zero Knowledge System
Diffie & Hellman (2015) : Public Key Cryptography - Database
Bachman * (1980) : Network Model
Codd * (1981) : Relational Algebra, Relational Calculus
Gray * (1998) : System R, Transaction
Stonebraker (2014) : Ingres, Postgres, Serial Entrepreneur - Graphics
Sutherland (1988) : Sketchpad
Catmull &Hanranhan (2019) : Animation - Internet / Web
Cerf & Kahn (2004) : TCP/IP
Berner-Lee (2016) : World Wide Web - Language / System
Perlis * (1966) : First Recipient, Algol
Backus * (1977) : Fortran, Functional Programming
Iverson * (1979) : APL
Wirth (1984) : ALGOL-W, Pascal, Modula
Milner * (1991) : ML
Dahl * & Nygaard * (2001) : Simula
Kay (2003) : Smalltalk, Dynabook
Naur (2005) : Algol Report
Liskov (2008) : CLU - Learning
Hinton, LeCun & Benjio (2018) : Deep Neural Networks - Model Check
Clarke *, Emerson & Sifikas (2007) : Automatic Verification - Operating System
Dijkstra * (1972) : Also Structured Programming
Corbato * (1990) : Multics
Ritchie * & Thompson (1983) : Unix
Lampson (1992)
Thacker (2009)
Lamport (2013) - Theory (NP-Complete, Computing, Reasoning …)
Rabin & Scott (1976)
Cook (1982)
Karp (1985)
Hartmanis & Stearns (1993)
Blum (1995)
Pneuli (1996) *
Yao (2004)
Valiant (2010)
Pearl (2011)
Categories: Computing