Computer Science Podcast
1) Will Computers prove theorems?
Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have ...Show More
2) 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 systems work together with complete confidence in each othe...Show More
3) 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 technology platforms controlled by worst case computationally bounde...Show More
4) 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 b...Show More
5) 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 will emphasize the diversity of mathematical tools necessar...Show More
6) 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 asks to find a policy for traversing a weighted stochastic grap...Show More
7) How Can Algorithms Help to Protect our Privacy
In this terms Strachey lecture, Professor Monika Henzinger gives an introduction to differential privacy with an emphasis on differential private algorithms that can handle changing input data. Decisi...Show More
8) Strachey Lecture - Used or Be Used: Regaining Control of AI
It’s said that Henry Ford’s customers wanted a “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? That’s certainly the p...Show More
9) Strachey Lecture - Use or Be Used: Regaining Control of AI
It’s said that Henry Ford’s customers wanted a “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? That’s certainly the p...Show More
10) Strachey lecture - Symmetry and Similarity
An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental complexity theoretic "Graph Isomorphism Problem" to applications in optimisation and machine learning Sy...Show More