Professor Andrew Hodges author of 'Alan Turing: The Enigma' talks about Turing's work and ideas from the definition of computability, the universal machine to the prospect of Artificial Intelligence. In 1951, Christopher Strachey began his career in computing. He did so as a colleague of Alan Turing, who had inspired him with a 'Utopian' prospectus for progr ... 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
May 2025
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 other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
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