Strachey Lectures
Subscribe in ParasocialFree on the App Store for iPhone, iPad and Mac. No subscription needed. Once it is installed, tap this link again and the show is yours. Already have it? Open in Parasocial.
About
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.
Also on
Recent episodes
- Advances in Garbled Circuits
- Will Computers prove theorems?
- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
- Privacy, Verification, Robustness: A Cryptographer's perspective on ML
- From probabilistic bisimulation to representation learning via metrics
- From probabilistic bisimulation to representation learning via metrics
- Strachey Lecture: The Computer in the Sky
- Strachey Lecture: From classical to non-classical stochastic shortest path problems
- From classical to non-classical stochastic shortest path problems