Title: Turing Award
1Turing Award
- Kun-Mao Chao (???)
- Department of Computer Science and Information
Engineering - National Taiwan University, Taiwan
- A note given in BCC class on May 27, 2015
2????????
- ??1937?
- ????(Alan Turing)??????(Turing Machine)???
- Alan Turing????????, ??????Enigma??
3Turing Award
- Nobel prize in computer science
- ACM's most prestigious technical award is given
to an individual selected for contributions of a
technical nature made to the computing community.
- The contributions should be of lasting and major
technical importance to the computer field - ??1966???
- ACM announced on November 13, 2014 that the
funding level for the ACM A.M. Turing Award is
now 1,000,000, to be provided by Google Inc. The
new amount is four times its previous level.
4Turing Award
- Donald Knuth 1974
- Steven Cook 1982
- Ken Thompson Dannis Ritchie 1983
- John E. Hopcroft 1986
- ????????2000??, ??Turing Award (??????)
- Vinton G. Cerf and Robert E. Kahn (TCP/IPFathers
of the Internet) 2004 - Judea Pearl (Bayesian networks) 2011
- Shafi Goldwasser and Silvio Micali 2012
5Alan Turing Me
- H.A. Newton ? E.H. Moore (1885 Yale Univ.)
- ? Oswald Veblen (1903 U. of
Chicago) - ? Alonzo Church (1927
Princeton) - ? Bob Ritchie (1961
Princeton) - ? Webb Miller (1968
Washington) - ? Kun-Mao Chao (1993 Penn State)
????????????? http//www.genealogy.ams.org/html/id
.phtml?id84608
Alan Turing
6John E. Hopcroft
2012/12/22
7Turing Award 2012(announced on March 13, 2013)
Shafi Goldwasser and Silvio Micali CSAIL, MIT
Source MIT News
8The Pioneering Work of Goldwasser and Micali
- They were credited for revolutionizing the
science of cryptography and developing the gold
standard for enabling secure Internet
transactions. - probabilistic encryption
- the simulation paradigm demonstrating a systems
security - the idea of zero-knowledge proofs
Source MIT News
9I am very proud to have won the Turing Award,
Goldwasser says. Our work was very
unconventional at the time. We were graduate
students and let our imagination run free, from
using randomized methods to encrypt single bits
to enlarging the classical definition of a proof
to allow a small error to setting new goals for
security. Winning the award is further testimony
to the fact that the cryptographic and complexity
theoretic community embraced these ideas in the
last 30 years.
Source MIT News
10I am honored by this recognition and thankful to
the computer science community, Micali adds. As
graduate students, we took some serious risks and
faced a few rejections, but also received
precious encouragement from exceptional mentors.
I am also proud to see how far others have
advanced our initial work.
Source MIT News
11Turing Award 2013(announced on March 18, 2014)
Leslie Lamport Microsoft Research
12(No Transcript)
13Leslie LamportA pioneer in distributed systems
- Comments from his colleagues
- His writings
- The Seattle Times
14LaTeX
- TeX by Donald Knuth LaTeX by Leslie Lamport
- I wrote two books and edited one using LaTeX.
15Turing Award 2014(announced on March, 2015)
Michael Stonebraker MIT
16(No Transcript)