Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of...
Radio and PodcastLive Radio & PodcastsEducation
Computer Science
This series is host to episodes created by the Department of Computer Science, University of Oxford, one of the longest-established Computer Science departments in the country. The series re...
Episodes
16 episodesWill Computers prove theorems?
Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decade...
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...
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 technolo...
From probabilistic bisimulation to representation learning via metrics
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden Bisimulation is a fu...
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...
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 ask...
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 p...
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 cu...
Strachey Lecture: Symmetry and Similarity
An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental complexity theoretic "Graph Isomorphism Prob...
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 do...
Strachey Lecture: The Continuing Evolution of C++
Stroustrup discusses the development and evolution of the C++, one of the most widely used programming languages ever. The development of C+...
Strachey Lecture: The Once and Future Turing
Professor Andrew Hodges author of 'Alan Turing: The Enigma' talks about Turing's work and ideas from the definition of computability, the un...
Strachey Lecture: Quantum Supremacy
Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. In the near future, it will likely become possible to perform special-pu...
Strachey Lecture: Artificial Intelligence and the Future
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...
Strachey Lecture: Bidirectional Computation is Effectful
A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015. Bid...