1:53

The ACM A.M. Turing Award

Association for Computing…

1:18:30

Turing the Man

Association for Computing…

1:03:09

Human and Machine Intelligence

Association for Computing…

30:12

What Computers Do: Model, Connect, and Engage

Association for Computing…

1:08:09

Systems Architecture, Design, Engineering, and Verification

Association for Computing…

32:55

Extracting Energy from the Turing Tarpit

Association for Computing…

1:13:08

The Turing Computational Model

Association for Computing…

30:08

Lambda Calculus Then and Now

Association for Computing…

30:32

Computable Real Numbers and Why They Are Still Important Today

Association for Computing…

1:04:00

Computer Architecture

Association for Computing…

1:03:23

Programming Languages -- Past Achievements and Future Challenges

Association for Computing…

1:20:10

An Algorithmic View of the Universe

Association for Computing…

1:18:32

Information, Data, Security in a Networked Future

Association for Computing…

3:37

Turing the Man

Association for Computing…