Strachey Lecture: The Computer in the Sky

Computer Science by Oxford University

May 16, 202462:09Education

The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications The talk will emphasize the diversity of mathematical tools necessary for understanding...

Related Episodes

Continue listening to more episodes from Computer Science.

Advances in Garbled Circuits

Oct 27, 2025 - 48:12

MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, And...

Will Computers prove theorems?

May 15, 2025 - 46:25

Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is thi...

Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

May 15, 2025 - 47:14

Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathemati...

Privacy, Verification, Robustness: A Cryptographer's perspective on ML

Mar 11, 2025 - 64:18

Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic to...

From probabilistic bisimulation to representation learning via metrics

Dec 2, 2024 - 55:03

Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prak...

Strachey Lecture: From classical to non-classical stochastic shortest path problems

Feb 6, 2024 - 57:09

Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Abstract: The classical stochast...

Strachey Lecture: How Can Algorithms Help to Protect our Privacy

Nov 13, 2023 - 54:48

In this term's Strachey lecture, Professor Monika Henzinger gives an introduction to differential privacy...

Strachey Lecture: Use or Be Used - Regaining Control of AI

Sep 4, 2023 - 50:26

It’s said that Henry Ford’s customers wanted “a faster horse”. If Henry Ford was selling us artificial in...