Strachey Lectures
Episodes
An AI stack: from scaling AI workloads to evaluating LLMs
26 Feb 2026
Contributed by Lukas
Hilary Term 2026 Strachey Lecture with Professor Ion Stoica, An AI stack: from scaling AI workloads to evaluating LLMs Large language models (LLMs) ha...
Advances in Garbled Circuits
27 Oct 2025
Contributed by Lukas
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled...
Will Computers prove theorems?
15 May 2025
Contributed by Lukas
Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Ca...
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
15 May 2025
Contributed by Lukas
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems...
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
15 May 2025
Contributed by Lukas
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems...
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
11 Mar 2025
Contributed by Lukas
Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic tools enable the safe use of technology platfor...
From probabilistic bisimulation to representation learning via metrics
02 Dec 2024
Contributed by Lukas
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden Bisimulation is a fundamental...
From probabilistic bisimulation to representation learning via metrics
02 Dec 2024
Contributed by Lukas
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden Bisimulation is a fundamental...
Strachey Lecture: The Computer in the Sky
16 May 2024
Contributed by Lukas
The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications The talk will emph...
Strachey Lecture: From classical to non-classical stochastic shortest path problems
06 Feb 2024
Contributed by Lukas
Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Abstract: The classical stochastic shortest path (SSP) problems asks to find ...
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
13 Nov 2023
Contributed by Lukas
In this term's Strachey lecture, Professor Monika Henzinger gives an introduction to differential privacy with an emphasis on differential private alg...
Strachey Lecture: Use or Be Used - Regaining Control of AI
04 Sep 2023
Contributed by Lukas
It’s said that Henry Ford’s customers wanted “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the cust...
Strachey Lecture: Symmetry and Similarity
16 Feb 2023
Contributed by Lukas
An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental complexity theoretic "Graph Isomorphism Problem" to ap...
Strachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic
27 Oct 2022
Contributed by Lukas
An overview of work on probabilistic soft logic (PSL), an SRL framework for large-scale collective, probabilistic reasoning in relational domains and ...
Strachey Lecture: How Are New Technologies Changing What We See?
16 Mar 2022
Contributed by Lukas
There has been a proliferation of technological developments in the last few years that are beginning to improve how we perceive, attend to, notice, a...
Strachey Lecture: Mixed Signals
06 Jan 2022
Contributed by Lukas
Mixed Signals: audio and wearable data analysis for health diagnostics Wearable and mobile devices are very good proxies for human behaviour. Yet, mak...
Strachey Lecture: The Quest for Truth in the Information Age
04 Nov 2021
Contributed by Lukas
The advantages of computing for society are tremendous. But while new technological developments emerge, we also witness a number disadvantages and un...
Strachey Lecture: Getting AI Agents to Interact and Collaborate with Us on Our Terms
12 May 2021
Contributed by Lukas
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...
Strachey Lecture: How Innovation Works - Serendipity, Energy and the Saving of Time
12 May 2021
Contributed by Lukas
Innovation is the main event of the modern age, the reason we experience both dramatic improvements in our living standards and unsettling changes in ...
Strachey Lecture: Medicine and Physiology in the Age of Dynamics
02 Apr 2020
Contributed by Lukas
Medicine and Physiology in the Age of Dynamics: Newton Abraham Lecture 2020 Lecture by Professor Alan Garfinkel (2019-2020 Newton Abraham Visiting Pro...
Strachey Lecture: Can one Define Intelligence as a Computational Phenomenon?
11 Dec 2019
Contributed by Lukas
Can we build on our understanding of supervised learning to define broader aspects of the intelligence phenomenon. Strachey Lecture delivered by Lesli...
Strachey Lecture: Doing for our robots what evolution did for us
29 Mar 2019
Contributed by Lukas
Professor Leslie Kaelbling (MIT) gives the 2019 Stachey lecture. The Strachey Lectures are generously supported by OxFORD Asset Management. We, as rob...
Strachey Lecture: Steps Towards Super Intelligence
20 Dec 2018
Contributed by Lukas
Why has AI been so hard and what are the problems that we might work on in order to make real progress to human level intelligence, or even the super ...
Strachey Lecture: Privacy-preserving analytics in, or out of, the cloud
16 Apr 2018
Contributed by Lukas
This talk is about the experience of providing privacy when running analytics on users’ personal data. The two-sided market of Cloud Analytics emerg...
Strachey Lecture: The Continuing Evolution of C++
12 Dec 2017
Contributed by Lukas
Stroustrup discusses the development and evolution of the C++, one of the most widely used programming languages ever. The development of C++ started...
Lovelace Lecture: Learning and Efficiency of Outcomes in Games
22 Aug 2017
Contributed by Lukas
Éva Tardos, Department of Computer Science, Cornell University, gives the 2017 Ada Lovelace Lecture on 6th June 2017. Selfish behaviour can often le...
Strachey Lecture: Computer Agents that Interact Proficiently with People
23 Jun 2017
Contributed by Lukas
Professor Kraus will show how combining machine learning techniques for human modelling, human behavioural models, formal decision-making and game the...
Strachey Lecture: Probabilistic machine learning: foundations and frontiers
15 Mar 2017
Contributed by Lukas
Professor Zoubin Ghahramani gives a talk on probabilistic modelling from it's foundations to current areas of research at the frontiers of machine lea...
Oxford University Department of Computer Science: Second Year Group Design Practicals
08 Nov 2016
Contributed by Lukas
Students undertaking undergraduate (first) degrees in Computer Science, Computer Science & Philosophy and Maths & Computer Science undertake a...
Strachey Lecture: The Once and Future Turing
02 Nov 2016
Contributed by Lukas
Professor Andrew Hodges author of 'Alan Turing: The Enigma' talks about Turing's work and ideas from the definition of computability, the universal ma...
Strachey Lecture: Quantum Supremacy
14 Jun 2016
Contributed by Lukas
Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. In the near future, it will likely become possible to perform special-purpose quan...
Strachey Lecture: Quantum Supremacy
14 Jun 2016
Contributed by Lukas
Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. In the near future, it will likely become possible to perform special-purpose quan...
Strachey Lecture: Artificial Intelligence and the Future
26 Feb 2016
Contributed by Lukas
In this talk Demis Hassabis discuss's what is happening at the cutting edge of AI research, its future impact on fields such as science and healthcare...
Strachey Lecture: Bidirectional Computation is Effectful
17 Nov 2015
Contributed by Lukas
A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015. Bidirectional...