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 other’s contributions? The open-source Lean proof assistant and programming language provides an answer, offering a rigorous framework where proofs and programs are ... Show More
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
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
Innovative Audience Engagement Strategies for European Media - Journalism Innovation Podcast ep #7
In the age of media distrust and fickle subscriber habits, we discuss how European news outlets are navigating audience engagement. In this episode, we sat down with Emma Lofgren, Editor of The Local Sweden and Madeleine White, Vice President of Marketing at Poool and Co-founder ... Show More
51m 16s
Oct 10
Navigating Meme Culture: From Brain Rot to Digital Monoculture | Dr. Idil Galip
<p>"Brain rot" as "trashy media for the algorithmic age", the political implications of memes, the differences in global meme cultures, and the impact of AI on the content we receive and share. Dr. Idil Galip is a lecturer in New Media and Digital Culture at the University of Ams ... Show More
56m 27s