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)