Turing Award

1
Turing Award

• Kun-Mao Chao (???)
• Department of Computer Science and Information
  Engineering
• National Taiwan University, Taiwan
• A note given in BCC class on April 23, 2014

2
????????

• ??1937?
• ????(Alan Turing)??????(Turing Machine)???
• Alan Turing????????, ??????Enigma??

3
Turing 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???

4
Turing 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

5
Alan 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
6
John E. Hopcroft
2012/12/22
7
Turing Award 2012(announced on March 13, 2013)
Shafi Goldwasser and Silvio Micali CSAIL, MIT
Source MIT News
8
The 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
9
I 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
10
I 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
11
Turing Award 2013(announced on March 18, 2014)
Leslie Lamport Microsoft Research
12
(No Transcript)
13
Leslie LamportA pioneer in distributed systems

• Comments from his colleagues
• His writings
• The Seattle Times

14
LaTeX

• TeX by Donald Knuth LaTeX by Leslie Lamport
• I wrote two books and edited one using LaTeX.