Computing

Turing

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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s