13 Episoder

  1. Privacy, Verification, Robustness: A Cryptographer's perspective on ML

    Publisert: 11.3.2025

  2. From probabilistic bisimulation to representation learning via metrics

    Publisert: 2.12.2024

  3. Strachey Lecture: The Computer in the Sky

    Publisert: 16.5.2024

  4. From classical to non-classical stochastic shortest path problems

    Publisert: 6.2.2024

  5. How Can Algorithms Help to Protect our Privacy

    Publisert: 13.11.2023

  6. Strachey Lecture - Used or Be Used: Regaining Control of AI

    Publisert: 4.9.2023

  7. Strachey lecture - Symmetry and Similarity

    Publisert: 16.2.2023

  8. Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic

    Publisert: 27.10.2022

  9. Strachey Lecture - The Continuing Evolution of C++

    Publisert: 12.12.2017

  10. Strachey Lecture - The Once and Future Turing

    Publisert: 2.11.2016

  11. Strachey Lecture - Quantum Supremacy

    Publisert: 14.6.2016

  12. Artificial Intelligence and the Future

    Publisert: 26.2.2016

  13. Bidirectional Computation is Effectful

    Publisert: 17.11.2015

1 / 1

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.

Visit the podcast's native language site