logo
episode-header-image
Feb 2024
57m 9s

Strachey Lecture: From classical to non-...

OXFORD UNIVERSITY
About this episode
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 graph until reaching a distinguished goal state that minimizes the expected accumulated weight. SSP problems have numerous applications in, e.g., operations researc ... Show More
Up next
Mar 2025
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 bounded adversaries.In this talk I will show how cryptographic paradigms and tools can ... Show More
1h 4m
Dec 2024
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 with an elegant fixed-point definition due to David Park. In t ... Show More
55m 3s
May 2024
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 necessary for understanding blockchain protocols and their applications (e.g., distribut ... Show More
1h 2m
Recommended Episodes
Oct 2024
La suprématie quantique
La suprématie quantique est un concept qui désigne le moment où un ordinateur quantique effectue un calcul qu’un ordinateur classique ne peut pas réaliser en un temps raisonnable. Ce terme a été popularisé par John Preskill, un physicien théoricien, en 2012. Il symbolise une étap ... Show More
2m 42s
Dec 2024
Nassim Haramein | Learn To Harness The Power Of The Universe
Nassim Haramein was born in 1962 in Geneva, Switzerland. Haramein’s father was a scholar at the University of Geneva completing a thesis under the guidance of the notable Jean Piaget, considered one of the fathers of child psychology. Although offered a position at the prestigiou ... Show More
1h 22m
May 21
Séminaire - Immanuel Bloch : Quantum Simulation and Quantum Computing with Fermions
Antoine GeorgesPhysique de la matière condenséeAnnée 2024-2025Fermions froids et simulation quantiqueSéminaire - Immanuel Bloch : Quantum Simulation and Quantum Computing with FermionsImmanuel BlochMax Planck Institute et LMU, MunichRésuméQuantum simulation has emerged as an inte ... Show More
1 h
Apr 2024
271 | Claudia de Rham on Modifying General Relativity
Einstein's theory of general relativity has been our best understanding of gravity for over a century, withstanding a variety of experimental challenges of ever-increasing precision. But we have to be open to the possibility that general relativity -- even at the classical level, ... Show More
1h 21m
Oct 2024
E116 - Nassim Haramein: Exploring Our Holographic Universe, Unified Field Theory & The Illusion of Time
Nassim Haramein, a veteran physicist working on one of the most complex and difficult problems in physics, describes his insights into our holographic universe, consciousness, and zero-point energy. He discusses fundamental principles of spacetime and the groundbreaking discovery ... Show More
3h 2m
Jul 2021
A Chance at Immortality - with Marcus Du Sautoy
Mathematical greatness can strike at any time - even on the train between Oxford and London. Marcus is the Simonyi Professor for the Public Understanding of Science at Oxford University Marcus' author page on Amazon I is a Strange Loop - book I is a Strange Loop - performance on ... Show More
51m 29s
Sep 2024
Generative AI for Protein Engineering - Franziska Geiger | Podcast #131
Franziska Geiger, born in Apfeldorf, Germany, is a talented software developer currently based in Zurich, Switzerland. With a strong background in computer science and a passion for technology, Franziska has made her mark in the tech world, particularly as a software developer at ... Show More
33m 39s
Jul 2021
LM101-086: Ch8: How to Learn the Probability of Infinitely Many Outcomes
This 86th episode of Learning Machines 101 discusses the problem of assigning probabilities to a possibly infinite set of outcomes in a space-time continuum which characterizes our physical world. Such a set is called an “environmental event”. The machine learning algorithm uses ... Show More
35m 29s
Mar 2025
AI can make governing better instead of worse. Yes, you heard that right.
Danielle Allen and Mark Fagan say that when tested, thoughtfully deployed, and regulated AI actually can help governments serve citizens better. Sure, there is no shortage of horror stories these days about the intersection of AI and government—from a municipal chatbot that told ... Show More
41m 36s