Oct 27, 2025
Advances in Garbled Circuits
48 minutes
Podcast · Inglés
Computer Science
Oxford University
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 reflects this department's world-class research and teaching by providing talks that encompass topics such as computational biology, quantum computing, computational linguistics, information systems, software verification, and software engineering.
Episodes
Ordered by publication date.
May 15, 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
47 minutes
May 15, 2025
Will Computers prove theorems?
46 minutes
Mar 11, 2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
1 hour 4 minutes
Dec 2, 2024
From probabilistic bisimulation to representation learning via metrics
55 minutes
May 16, 2024
Strachey Lecture: The Computer in the Sky
1 hour 2 minutes
Feb 6, 2024
Strachey Lecture: From classical to non-classical stochastic shortest path problems
57 minutes
Feb 6, 2024
From classical to non-classical stochastic shortest path problems
57 minutes
Nov 13, 2023
How Can Algorithms Help to Protect our Privacy
54 minutes
Nov 13, 2023
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
54 minutes
Sep 4, 2023
Strachey Lecture: Use or Be Used - Regaining Control of AI
50 minutes
Sep 4, 2023
Strachey Lecture - Used or Be Used: Regaining Control of AI
50 minutes
Feb 16, 2023
Strachey Lecture: Symmetry and Similarity
1 hour
Feb 16, 2023
Strachey lecture - Symmetry and Similarity
1 hour
Oct 27, 2022
Strachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic
1 hour 3 minutes
More related podcasts
Other podcasts in Education.