Opening the iTunes Store.If iTunes doesn’t open, click the iTunes icon in your Dock or on your Windows desktop.Progress Indicator

Opening Apple Books.If Apple Books doesn't open, click the Books app in your Dock.Progress Indicator

iTunes

iTunes is the world's easiest way to organise and add to your digital media collection.

We are unable to find iTunes on your computer. To download and subscribe to Strachey Lectures by Oxford University, get iTunes now.

Do you already have iTunes? Click I Have iTunes to open it now.

Strachey Lectures

By Oxford University

View More by This Publisher

To listen to an audio podcast, mouse over the title and click Play. Open iTunes to download and subscribe to podcasts.

Description

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.

Name Description Released Price

1 CleanVideoWill Computers prove theorems? Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have missed? Currently language models are great for brain 15 5 2025 Free View in iTunes

2 CleanVideoFormalizing 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 ass 15 5 2025 Free View in iTunes

3 CleanVideoPrivacy, Verification, Robustness: A Cryptographer's perspective on ML Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML 11 3 2025 Free View in iTunes

4 CleanVideoFrom probabilistic bisimulation to representation learning via metrics Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden 2 12 2024 Free View in iTunes

5 CleanVideoStrachey Lecture: The Computer in the Sky The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications 16 5 2024 Free View in iTunes

6 CleanVideoStrachey Lecture: From classical to non-classical stochastic shortest path problems Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture 6 2 2024 Free View in iTunes

7 CleanVideoStrachey Lecture: How Can Algorithms Help to Protect our Privacy In this term's Strachey lecture, Professor Monika Henzinger gives an introduction to differential privacy with an emphasis on differential private algorithms that can handle changing input data. 13 11 2023 Free View in iTunes

8 CleanVideoStrachey Lecture: Use or Be Used - Regaining Control of AI It’s said that Henry Ford’s customers wanted “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? 4 9 2023 Free View in iTunes

9 CleanVideoStrachey Lecture: Symmetry and Similarity An introduction to algorithmic aspects of symmetry and similarity, ranging from the fundamental complexity theoretic "Graph Isomorphism Problem" to applications in optimisation and machine learning 16 2 2023 Free View in iTunes

10 CleanVideoStrachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic An overview of work on probabilistic soft logic (PSL), an SRL framework for large-scale collective, probabilistic reasoning in relational domains and a description of recent work which integrates neural and symbolic (NeSy) reasoning. 27 10 2022 Free View in iTunes

11 CleanVideoStrachey Lecture: How Are New Technologies Changing What We See? There has been a proliferation of technological developments in the last few years that are beginning to improve how we perceive, attend to, notice, analyse and remember events, people, data and other information. 16 3 2022 Free View in iTunes

12 CleanVideoStrachey Lecture: Mixed Signals Mixed Signals: audio and wearable data analysis for health diagnostics 6 1 2022 Free View in iTunes

13 CleanVideoStrachey Lecture: The Quest for Truth in the Information Age The advantages of computing for society are tremendous. But while new technological developments emerge, we also witness a number disadvantages and unwanted side-effects. 4 11 2021 Free View in iTunes

14 CleanVideoStrachey Lecture: Getting AI Agents to Interact and Collaborate with Us on Our Terms As AI technologies enter our everyday lives at an ever increasing pace, there is a greater need for AI systems to work synergistically with humans. 12 5 2021 Free View in iTunes

15 CleanVideoStrachey Lecture: How Innovation Works - Serendipity, Energy and the Saving of Time Innovation is the main event of the modern age, the reason we experience both dramatic improvements in our living standards and unsettling changes in our society. 12 5 2021 Free View in iTunes

16 CleanVideoStrachey Lecture: Medicine and Physiology in the Age of Dynamics Medicine and Physiology in the Age of Dynamics: Newton Abraham Lecture 2020 2 4 2020 Free View in iTunes

17 CleanVideoStrachey Lecture: Can one Define Intelligence as a Computational Phenomenon? Can we build on our understanding of supervised learning to define broader aspects of the intelligence phenomenon. Strachey Lecture delivered by Leslie Valiant. 11 12 2019 Free View in iTunes

18 CleanVideoStrachey Lecture: Doing for our robots what evolution did for us Professor Leslie Kaelbling (MIT) gives the 2019 Stachey lecture. The Strachey Lectures are generously supported by OxFORD Asset Management. 29 3 2019 Free View in iTunes

19 CleanVideoStrachey Lecture: Steps Towards Super Intelligence Why has AI been so hard and what are the problems that we might work on in order to make real progress to human level intelligence, or even the super intelligence that many pundits believe is just around the corner? 20 12 2018 Free View in iTunes

20 CleanVideoStrachey Lecture: Privacy-preserving analytics in, or out of, the cloud This talk is about the experience of providing privacy when running analytics on users’ personal data. 16 4 2018 Free View in iTunes

21 CleanVideoStrachey Lecture: The Continuing Evolution of C++ Stroustrup discusses the development and evolution of the C++, one of the most widely used programming languages ever. 12 12 2017 Free View in iTunes

22 CleanVideoStrachey Lecture: Computer Agents that Interact Proficiently with People Professor Kraus will show how combining machine learning techniques for human modelling, human behavioural models, formal decision-making and game theory approaches enables agents to interact well with people. 23 6 2017 Free View in iTunes

23 CleanVideoStrachey Lecture: Probabilistic machine learning: foundations and frontiers Professor Zoubin Ghahramani gives a talk on probabilistic modelling from it's foundations to current areas of research at the frontiers of machine learning. 15 3 2017 Free View in iTunes

24 CleanVideoStrachey Lecture: The Once and Future Turing 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. 2 11 2016 Free View in iTunes

25 CleanVideoStrachey Lecture: Quantum Supremacy Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. 14 6 2016 Free View in iTunes

26 CleanVideoStrachey Lecture: Artificial Intelligence and the Future In this talk Demis Hassabis discuss's what is happening at the cutting edge of AI research, its future impact on fields such as science and healthcare, and how developing AI may help us better understand the human mind. 26 2 2016 Free View in iTunes

27 CleanVideoStrachey Lecture: Bidirectional Computation is Effectful A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015. 17 11 2015 Free View in iTunes

Customer Reviews

Amazing

by The listener 🤚

As a teenage coder and aspiring computer scientist I am really inspired by this kind of content and I think it will empower some of the un confident coders

Listeners also subscribed to

View in iTunes

Free
Category: Education
Language: English

Customer Ratings

6 Ratings