Advances in Garbled Circuits
Oct 27, 2025 - 48:12
Radio and PodcastLive Radio & PodcastsEducation
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 process theory invented by Robin Milner and wi...
Related Episodes
Continue listening to more episodes from Computer Science.
Will Computers prove theorems?
May 15, 2025 - 46:25
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
May 15, 2025 - 47:14
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Mar 11, 2025 - 64:18
Strachey Lecture: The Computer in the Sky
May 16, 2024 - 62:09
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
Nov 13, 2023 - 54:48
Strachey Lecture: Use or Be Used - Regaining Control of AI
Sep 4, 2023 - 50:26