Turing Award KunMao Chao Department of Computer Science

Turing Award Kun-Mao Chao (趙坤茂) Department of Computer Science and Information Engineering National Taiwan University, Taiwan A note given in BCC class on March 7, 2017

Turing Award n Nobel prize in computer science n ACM's most prestigious technical award is given to an individual selected for contributions of a technical nature made to the computing community. n The contributions should be of lasting and major technical importance to the computer field n 西元1966年開始 n ACM announced on November 13, 2014 that the funding level for the ACM A. M. Turing Award is now $1, 000, to be provided by Google Inc. The new amount is four times its previous level. 1 -3 全華科技圖書 計算機概論

Turing Award n Donald Knuth 1974 n Steven Cook 1982 n Ken Thompson & Dannis Ritchie 1983 n John E. Hopcroft 1986 n 姚期智院士在西元2000年時, 獲頒Turing Award (唯一華人得主) n Vinton G. Cerf and Robert E. Kahn (TCP/IP； Fathers of the Internet) 2004 n Judea Pearl (Bayesian networks) 2011 n Shafi Goldwasser and Silvio Micali 2012 1 -4 全華科技圖書 計算機概論

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? id=84608 Alan Turing 1 -5 全華科技圖書 計算機概論

John E. Hopcroft 1 -6 全華科技圖書 2012/12/22 計算機概論

Turing Award 2012 (announced on March 13, 2013) Shafi Goldwasser and Silvio Micali CSAIL, MIT Source: MIT News 7

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 system’s security – the idea of “zero-knowledge” proofs Source: MIT News 8

“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 9

“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 10

Turing Award 2013 (announced on March 18, 2014) Leslie Lamport Microsoft Research 11

12

Leslie Lamport A pioneer in distributed systems • Comments from his colleagues • His writings • The Seattle Times 13

La. Te. X • Te. X by Donald Knuth & La. Te. X by Leslie Lamport • I wrote two books and edited one using La. Te. X. 14

Turing Award 2014 (announced on March, 2015) Michael Stonebraker MIT 15

16

Turing Award 2015 (announced on March 2, 2016) Whitfield Diffie and Martin Hellman 17

18

ACM Marks 50 Years of the ACM A. M. Turing Award • Since its inauguration in 1966, the ACM A. M. Turing Award has recognized major contributions of lasting importance in computing. • Referred to as the “Nobel Prize of computing. ” • The celebration will be held in San Francisco on June 23 - 24, 2017. • More: http: //www. acm. org/turing-award-50 19

Turing Award 2016 (announced on April 4, 2017) Tim Berners-Lee 20

21