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
Sep 2023
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 picture of machine intelligence we find in science fiction narratives, but the re ... Show More
50m 26s
Oct 27
Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computation -- both in theory and in practice. In Garbled Circuits, ... Show More
48m 12s
Jan 2022
Thomas Huckle and Tobias Neckel, "Bits and Bugs: A Scientific and Historical Review of Software Failures in Computational Science" (SIAM, 2019)
A true understanding of the pervasive role of software in the world demands an awareness of the volume and variety of real-world software failures and their consequences. No more thorough survey of these events may be available than Thomas Huckle and Tobias Neckel's Bits and Bugs ... Show More
1h 2m
Feb 2010
Mathematics' Unintended Consequences
Melvyn Bragg and guests John Barrow, Colva Roney-Dougal and Marcus du Sautoy explore the unintended consequences of mathematical discoveries, from the computer to online encryption, to alternating current and predicting the path of asteroids.In his book The Mathematician's Apolog ... Show More
41m 54s
Aug 2022
🧠 Scientific Machine Learning, FEM + ML, PINNs – Ehsan Haghighat | Podcast #79
Dr. Ehsan Haghighat is a Postdoctoral Fellow at UBC studying stochastic modeling and uncertainty quantification of engineering systems. Previously, he was a Postdoctoral Associate at MIT where he studied the assessment of induced seismicity due to CO2 sequestration and oil and ga ... Show More
57m 48s
Sep 2021
Kathryn Paige Harden || Genetic Inequality, IQ, and Education
Today it’s great to have Paige Harden on the podcast. Dr. Harden is a professor of clinical psychology at the University of Texas at Austin, where is the director of the Developmental Behavior Genetics lab and co-director of the Texas Twin Project. Her new book is called The Gene ... Show More
1h 21m