Turing Awardee Clips
The ACM A.M. Turing Award, often referred to as the “Nobel Prize of Computing,” carries a $1 million prize, with financial support provided by Google, Inc. It is named for Alan M. Turing, the British mathematician who articulated the mathematical foundation and limits of computing. Since its inception in 1966, the Turing Award has honored the computer scientists and engineers who created the systems and underlying theoretical foundations that have propelled the information technology industry.The video clips presented here were edited down from longer interviews with award recipients conducted by ACM (or provided to ACM by other organizations) to accompany the biographical profiles at amturing.acm.org/. Each clip describes a key contribution of an awardee or an important moment in their life or career. Clip descriptions includes a links to corresponding biographical profiles, where you can learn the context for the events they describe and access the full interviews.
- 5:44
- Ай бұрын
Scott on inventing the Logic of Computable Functions to win an argument with Christopher Strachey.
- 2:45
- Ай бұрын
Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.
- 3:16
- Ай бұрын
Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.
- 5:06
- Ай бұрын
Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practice
- 3:24
- Ай бұрын
Aho: "I'm the A in AWK."
- 3:02
- Ай бұрын
Aho: Seeing the Dragon Book in Hackers convinced his children that he was "really something....
- 3:48
- 3 жыл бұрын
Wirth on the importance of abstraction to language design
- 4:54
- 3 жыл бұрын
Wirth on Lillith and Modula
- 2:51
- 3 жыл бұрын
Wirth on the implementation and spread of Pascal
- 2:08
- 3 жыл бұрын
Wirth on his first Algol compiler
- 7:26
- 3 жыл бұрын
Kahan on creating IEEE Standard Floating Point
- 9:26
- 3 жыл бұрын
Kahan on the 8087 and designing Intel's floating point
- 4:47
- 3 жыл бұрын
Kahan remembers JCP Miller, Maurice Wilkes & Jim Wilkinson
- 6:09
- 3 жыл бұрын
Kahan on the FERUT, the first computer he programmed
- 6:27
- 3 жыл бұрын
Feigenbaum on IntelliCorp and Teknowledge
- 4:42
- 3 жыл бұрын
Feigenbaum on editing Computers and Thought
- 4:27
- 3 жыл бұрын
Feigenbaum on the Heuristic Programming Project and DENRAL
- 4:25
- 3 жыл бұрын
Feigenbaum on EAPM, his Ph.D. project with Herb Simon
- 6:41
- 3 жыл бұрын
Feigenbaum on working with Herb Simon and John Backus
- 3:44
- 3 жыл бұрын
Feigenbaum on his family background and love of science
- 3:11
- 3 жыл бұрын
Goldwasser defines a Probabilistically Checkable Proof
- 3:16
- 3 жыл бұрын
Goldwasser on Kilian, Schoof and primality
- 5:08
- 3 жыл бұрын
Пікірлер