Charts
Strachey LecturesEpisode from the podcastStrachey Lectures
Next Episode
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

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

Released Thursday, 15th May 2025
Good episode? Give it some love!
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

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

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

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

Thursday, 15th May 2025
Good episode? Give it some love!
Rate Episode
List
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript
Rate
List
Get this podcast via API

From The Podcast

This series covers the Strachey Lectures, a series of termly computer science lectures named after Christopher Strachey, the first Professor of Computation at the University of Oxford.Hosted by the Department of Computer Science, University of Oxford, the Strachey Lectures began in 1995 and have included many distinguished speakers over the years. The Strachey Lectures are generously supported by OxFORD Asset Management.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More