Computer Science
by Oxford University
May 15, 2025 8:01 pm
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
Will Computers prove theorems?
2 months agoFormalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
2 months agoPrivacy, Verification, Robustness: A Cryptographer's perspective on ML
4 months agoFrom probabilistic bisimulation to representation learning via metrics
8 months agoStrachey Lecture: The Computer in the Sky
1 year agoStrachey Lecture: From classical to non-classical stochastic shortest path problems
1 year agoStrachey Lecture: How Can Algorithms Help to Protect our Privacy
2 years agoStrachey Lecture: Use or Be Used - Regaining Control of AI
2 years agoStrachey Lecture: Symmetry and Similarity
2 years agoStrachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic
3 years ago