A.M. TURING CENTENARY CELEBRATION WEBCAST
  • go to Richard Karp's profile page
  • go to Dennis M. Ritchie 's profile page
  • go to Andrew C Yao's profile page
  • go to Dana S Scott's profile page
  • go to Adi Shamir's profile page
  • go to Herbert A. Simon's profile page
  • go to Douglas Engelbart's profile page
  • go to Kenneth Lane Thompson's profile page
  • go to Donald E. Knuth's profile page
  • go to Stephen A Cook's profile page
  • go to Kristen Nygaard 's profile page
  • go to Manuel Blum's profile page
  • go to C. Antony R. Hoare 's profile page
  • go to Niklaus E. Wirth's profile page
  • go to Richard W. Hamming's profile page
  • go to Amir Pnueli's profile page
  • go to Vinton Cerf's profile page
  • go to Maurice V. Wilkes's profile page
  • go to Frederick Brooks's profile page
  • go to Jim Gray 's profile page
  • go to Professor Joseph Sifakis's profile page
  • go to Marvin Minsky 's profile page
  • go to Shafi Goldwasser's profile page
  • go to Ole-Johan Dahl 's profile page
A.M. TURING AWARD WINNERS BY...
Amir Pnueli
FEATURED AWARD WINNER:

Amir Pnueli

Amir Pnueli, the 1996 recipient of the ACM Turing Award, was honored for his seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification

More on Amir Pnueli and his work can be found here.

The A.M. Turing Award, the ACM's most prestigious technical award, is given for major contributions of lasting importance to computing. Recipients are invited to give the annual A.M. Turing Award Lecture. The award is also accompanied by a cash prize of $250,000, which in recent years has been underwritten by the Intel Corporation and Google, Inc.

This site celebrates all the winners since the award's creation in 1966. It contains biographical information, a description of their accomplishments, straightforward explanations of their fields of specialization, and text or video of their A. M. Turing Award Lecture.

A.M TURING

The A.M. Turing Award, sometimes referred to as the "Nobel Prize" of Computing, was named in honor of Alan Mathison Turing (1912–1954), a British mathematician and computer scientist. He made fundamental advances in computer architecture, algorithms, formalization of computing, and artificial intelligence. Turing was also instrumental in British code-breaking work during World War II.