Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Series
Strachey Lectures
Embed
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 machine-checkable, shared, and extended by a broad community of collaborators. By removing the traditional reliance on trust-based verification and manual oversight, Lean not only accelerates research and development but also redefines how we collaborate.
In this talk, I will highlight how Lean is being used to tackle challenging problems in mathematics, software verification, and AI research that depends on formally sound reasoning. I will also introduce the Lean Focused Research Organization (FRO), a non-profit dedicated to expanding Lean’s capabilities and community. By showcasing real-world examples, ranging from advanced research projects to industry-driven applications, I illustrate how Lean empowers us to innovate in a more reliable, transparent, and truly collective manner.

Episode Information

Series
Strachey Lectures
People
Leo De Moura
Keywords
ai
trust
community
Department: Department of Computer Science
Date Added: 15/05/2025
Duration: 00:47:14

Subscribe

Download

Books as Objects, Data and Meaning: A Computational Approach to Eighteenth-Century Book and Intellectual History

Series
Voltaire Foundation
Embed
Annual Voltaire Foundation Lecture on Digital Enlightenment Studies: Mikko Tolonen on Books as Objects, Data and Meaning: A Computational Approach to Eighteenth-Century Book and Intellectual History
In this lecture, I will present a framework developed by the Helsinki Computational History Group and implemented together with its partners for investigating eighteenth-century book and intellectual history through three interconnected lenses: Books as Objects, Books as Data and Books as Meaning.

We treat bibliographical detail as a key factor for understanding the flow of ideas, examining also the physical attributes of books including the ornaments embedded within them. Using a dedicated machine learning pipeline, we automatically extract and categorize these ornaments at scale from the ECCO corpus, then integrate the results with bibliographical metadata. This approach enables us to trace publishing practices and how books circulated and transformed within the broader distribution of intellectual traditions, thus shedding new light on the activities of publishers and printers, such as Jacob Tonson and John Watts.

We also approach Books as Data by leveraging computational methods for text reuse, translation mining and cross-lingual investigation for reception studies—particularly focusing on English, Scottish and French Enlightenment corpora drawn from ECCO and Gallica. These pipelines illuminate textual overlaps and uncover patterns of influence, offering insights into large-scale cultural and historical questions—for instance, the eighteenth-century reception of David Hume’s essays—and providing the means to reevaluate fundamental issues such as the boundaries of translations.

Finally, we turn to Books as Meaning by applying cutting-edge large-language models. Through “meaning matching”, we not only quantify textual overlaps but also track how semantic content evolves over time, capturing cultural shifts once considered out of reach for computational study. By combining physical features of the books, computational workflows and interpretive practices, this threefold perspective—object, data, meaning—expands our capacity to analyze and reconstruct the multifaceted history of books, authors and ideas in the eighteenth century.

Episode Information

Series
Voltaire Foundation
People
Mikko Tolonen
Keywords
data
books
meaning
Department: Voltaire Foundation
Date Added: 15/05/2025
Duration: 01:05:04

Subscribe

Download

Mitchell Warren

No podcasts episodes were found for this contributor.

Politics and Global Health: The Need for a New, Resilient Architecture

Series
Translational Health Sciences
Embed
Mitchell Warren will provide updates on AIDS Vaccine Advocacy Coalition's (AVAC) court challenge against the Trump administration’s dismantling of USAID and offer his insights into what a more resilient global health funding infrastructure could look like
Recent, dramatic shifts in global health funding include cuts to US and UK foreign aid. This has had a cascade of devasting consequences on treatment and prevention programmes, including for HIV and TB across the globe. Mitchell Warren will provide updates on AIDS Vaccine Advocacy Coalition's (AVAC) court challenge against the Trump administration’s dismantling of USAID and offer his insights into what a more resilient global health funding infrastructure could look like.

About the speaker:
Mitchell Warren has spent nearly 30 years devoted to expanding access to HIV prevention, working with a wide range of activists and advocates, researchers and scientists, product developers and deliverers, policy makers, community advisory boards and the media from across the globe. This has often been as a translator, helping these often-diverse groups with diverse points of view understand each other better.

Since 2004, Mitchell has been the Executive Director of AVAC, an international non-governmental organization that works to accelerate the ethical development and global delivery of HIV prevention options as part of a comprehensive and integrated pathway to global health equity. Through communications, education, policy analysis, advocacy and a network of global collaborations, it mobilizes and supports efforts to deliver proven HIV prevention tools for immediate impact, demonstrates and rolls out new HIV prevention options, and develops long-term solutions needed to end the epidemic.

Episode Information

Series
Translational Health Sciences
People
Mitchell Warren
Keywords
social science
USAID
health policy
Translational health sciences
HIV prevention
Department: Department for Continuing Education
Date Added: 13/05/2025
Duration: 00:42:09

Subscribe

Download

Alan Chamberlain

No podcasts episodes were found for this contributor.

Peter Winter

No podcasts episodes were found for this contributor.

Jacob Williams

No podcasts episodes were found for this contributor.

Mohammad Fabel

No podcasts episodes were found for this contributor.

Ferit Belder

No podcasts episodes were found for this contributor.

Beyond the Ivory Tower: Public Engagement, Class, and Access in Research

Series
Power and Privilege in Academia
Embed
Dr Peter Winter and Dr Alan Chamberlain join Matimba Swana to explore elitism in research, the barriers to public engagement and why making research more inclusive and accessible is essential for meaningful community participation. Recorded 11 Oct 2024.
In this episode, we speak with Dr Peter Winter and Dr Alan Chamberlain about the world of public and community engagement with research, asking who truly gets to participate, and what structural barriers stand in the way. Pete is a Senior Research Associate and sociologist at the University of Bristol whose work focuses on sociotechnical systems and the societal impacts of AI, and Alan is a Principal Research Fellow at the Mixed Reality Lab at the University of Nottingham, whose research explores the creative and ethical applications of AI through Human-Computer Interaction. Together, we unpack the class dynamics embedded in academic culture and research engagement, from the dominance of middle and upper-class voices in academia, to the socioeconomic exclusion of working-class and marginalised communities from meaningful participation. We discuss what it means to truly listen to “unheard voices,” and why moving research from the ivory tower into the community is fundamental for equity and impact. This conversation centres the need for more inclusive, accessible, and democratic forms of research, and offers reflections on how we can begin to close the gap between academia and the public it seeks to serve. Referenced in the podcast:

● A project in 2015 “factors affecting public engagement by researchers ” suggested that public engagement is more embedded in the arts, humanities, and social sciences than in STEM.
● UKRI Trustworthy Autonomous Systems Hub assembles a team from the Universities of Southampton, Nottingham and King’s College London.
● Professor Kate Reed’s project Remembering Baby aimed to open up a conversation about the subject baby-loss.
● Wellcome changed their public engagement funding scheme for applications to support their new strategy.
● Andrew Crabtree was the Principle Investigator for Bridging the Rural Divide UKRI project
● The UKRI project Experiencing the Future Mundane was created in conjunction with the BBC R&D
● The NASSS (non-adoption, abandonment, scale-up, spread, sustainability) framework was developed to study technologies in real time in the real world. Trishia Greenhalgh’s paper - https://www.jmir.org/2017/11/e367/
● Dr. Jessica Morley is a postdoctoral associate at the Yale Digital Ethics Center, Yale University. These are links to her work - https://scholar.google.com/citations?user=hp-k6QwAAAAJ&hl=en
● University of Bristol public engagement team work to improve the impact of research by collaborating with communities in Bristol and beyond.
● Each year, Festival of Tomorrow shares the latest discoveries, research and developments from organisations and experts from Swindon, the UK and internationally.
● FUTURES is a free festival across venues in Bath, Bristol, Cornwall, Devon, Exeter and Plymouth. Past events include. Futures Up Late at the SS Great Britain.
Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
Power and Privilege in Academia
People
Peter Winter
Alan Chamberlain
Matimba Swana
Keywords
public engagement
artificial ingtelligence
higher education
edi
black and brown in bioethics
Department: Ethox Centre
Date Added: 12/05/2025
Duration: 01:06:38

Subscribe

Download

Pagination

  • First page
  • Previous page
  • Page 1
  • Current page 2
  • Page 3
  • Page 4
  • Page 5
  • Page 6
  • Page 7
  • Page 8
  • Page 9
  • …
  • Next page
  • Last page

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford