27 oct 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.
Episodios
Ordenados por fecha de publicación.
15 may 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
47 minutes
15 may 2025
Will Computers prove theorems?
46 minutes
11 mar 2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
1 hour 4 minutes
2 dic 2024
From probabilistic bisimulation to representation learning via metrics
55 minutes
16 may 2024
Strachey Lecture: The Computer in the Sky
1 hour 2 minutes
6 feb 2024
Strachey Lecture: From classical to non-classical stochastic shortest path problems
57 minutes
6 feb 2024
From classical to non-classical stochastic shortest path problems
57 minutes
13 nov 2023
How Can Algorithms Help to Protect our Privacy
54 minutes
13 nov 2023
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
54 minutes
4 sept 2023
Strachey Lecture: Use or Be Used - Regaining Control of AI
50 minutes
4 sept 2023
Strachey Lecture - Used or Be Used: Regaining Control of AI
50 minutes
16 feb 2023
Strachey Lecture: Symmetry and Similarity
1 hour
16 feb 2023
Strachey lecture - Symmetry and Similarity
1 hour
27 oct 2022
Strachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic
1 hour 3 minutes
Más podcasts relacionados
Otros podcasts de Education.