
Über diesen 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 Folgen · education
Strachey Lectures
Über diesen 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.
Neue Folgen
- An AI stack: from scaling AI workloads to evaluating LLMs26. Feb. · 56 Min.
- Advances in Garbled Circuits27. Okt. 2025 · 48 Min.
- Will Computers prove theorems?15. Mai 2025 · 46 Min.
- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI15. Mai 2025 · 47 Min.
- Privacy, Verification, Robustness: A Cryptographer's perspective on ML11. März 2025 · 1 Std. 04 Min.
- From probabilistic bisimulation to representation learning via metrics2. Dez. 2024 · 55 Min.
- Strachey Lecture: The Computer in the Sky16. Mai 2024 · 1 Std. 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.