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.
Latest episodes
-
1 h 02
Hardening Digital Infrastructure: Two Examples
Trinity Term 2026 Strachey Lecture with Professor Srđan Čapkun, Hardening Digital Infrastructure: Resilient Positioning and Sovereign Smartphone Architectures. Recent global events…
-
56 min
An AI stack: from scaling AI workloads to evaluating LLMs
Hilary Term 2026 Strachey Lecture with Professor Ion Stoica, An AI stack: from scaling AI workloads to evaluating LLMs Large language models (LLMs) have taken the world by storm, e…
-
48 min
Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormou…
-
46 min
Will Computers prove theorems?
Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot pattern…
-
47 min
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete conf…
-
47 min
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete conf…
-
1 h 04
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic tools enable the safe use of technology platforms controlled by worst case co…
-
55 min ↗
From probabilistic bisimulation to representation learning via metrics
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden Bisimulation is a fundamental equivalence relation in proces…
-
55 min
From probabilistic bisimulation to representation learning via metrics
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden Bisimulation is a fundamental equivalence relation in proces…
-
1 h 02
Strachey Lecture: The Computer in the Sky
The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications The talk will emphasize the diversity of mathema…
-
57 min
Strachey Lecture: From classical to non-classical stochastic shortest path problems
Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Abstract: The classical stochastic shortest path (SSP) problems asks to find a policy for traversing a weig…
-
55 min
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
In this term's Strachey lecture, Professor Monika Henzinger gives an introduction to differential privacy with an emphasis on differential private algorithms that can handle changi…
-
50 min
Strachey Lecture: Use or Be Used - Regaining Control of AI
It’s said that Henry Ford’s customers wanted “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? That…
-
1 h 00
Strachey Lecture: Symmetry and Similarity
An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental complexity theoretic "Graph Isomorphism Problem" to applications in optimisation and…
-
1 h 03
Strachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic
An overview of work on probabilistic soft logic (PSL), an SRL framework for large-scale collective, probabilistic reasoning in relational domains and a description of recent work w…
-
54 min
Strachey Lecture: How Are New Technologies Changing What We See?
There has been a proliferation of technological developments in the last few years that are beginning to improve how we perceive, attend to, notice, analyse and remember events, pe…
-
52 min
Strachey Lecture: Mixed Signals
Mixed Signals: audio and wearable data analysis for health diagnostics Wearable and mobile devices are very good proxies for human behaviour. Yet, making the inference from the raw…
-
1 h 09
Strachey Lecture: The Quest for Truth in the Information Age
The advantages of computing for society are tremendous. But while new technological developments emerge, we also witness a number disadvantages and unwanted side-effects. The advan…
-
1 h 14
Strachey Lecture: Getting AI Agents to Interact and Collaborate with Us on Our Terms
As AI technologies enter our everyday lives at an ever increasing pace, there is a greater need for AI systems to work synergistically with humans. As AI technologies enter our eve…
-
55 min
Strachey Lecture: How Innovation Works - Serendipity, Energy and the Saving of Time
Innovation is the main event of the modern age, the reason we experience both dramatic improvements in our living standards and unsettling changes in our society. Innovation is the…