
About this podcast
This series covers the Strachey Lectures, a series of termly computer science lectures named after Christopher Strachey, the first Professor of Computation at the University of Oxford. Hosted by the Department of Computer Science, University of Oxford, the Strachey Lectures began in 1995 and have included many distinguished speakers over the years. The Strachey Lectures are generously supported by OxFORD Asset Management.
32 episodes · education
Strachey Lectures
About this podcast
This series covers the Strachey Lectures, a series of termly computer science lectures named after Christopher Strachey, the first Professor of Computation at the University of Oxford. Hosted by the Department of Computer Science, University of Oxford, the Strachey Lectures began in 1995 and have included many distinguished speakers over the years. The Strachey Lectures are generously supported by OxFORD Asset Management.
Recent episodes
- An AI stack: from scaling AI workloads to evaluating LLMs26 Feb · 56 min
- Advances in Garbled Circuits27 Oct 2025 · 48 min
- Will Computers prove theorems?15 May 2025 · 46 min
- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI15 May 2025 · 47 min
- Privacy, Verification, Robustness: A Cryptographer's perspective on ML11 Mar 2025 · 1 h 04 min
- From probabilistic bisimulation to representation learning via metrics2 Dec 2024 · 55 min
- Strachey Lecture: The Computer in the Sky16 May 2024 · 1 h 02 min
- Strachey Lecture: From classical to non-classical stochastic shortest path problems6 Feb 2024 · 57 min
- Strachey Lecture: How Can Algorithms Help to Protect our Privacy13 Nov 2023 · 55 min
- Strachey Lecture: Use or Be Used - Regaining Control of AI4 Sept 2023 · 50 min