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.

Subscribe

Title Date published
Will Computers prove theorems? 2025-05-15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI 2025-05-15
Privacy, Verification, Robustness: A Cryptographer's perspective on ML 2025-03-11
From probabilistic bisimulation to representation learning via metrics 2024-12-02
Strachey Lecture: The Computer in the Sky 2024-05-16
Strachey Lecture: From classical to non-classical stochastic shortest path problems 2024-02-06
Strachey Lecture: How Can Algorithms Help to Protect our Privacy 2023-11-13
Strachey Lecture: Use or Be Used - Regaining Control of AI 2023-09-04
Strachey Lecture: Symmetry and Similarity 2023-02-16
Strachey Lecture: Integrating Logic, Probability and Neuro-Symbolic Reasoning using Probabilistic Soft Logic 2022-10-27
Strachey Lecture: How Are New Technologies Changing What We See? 2022-03-16
Strachey Lecture: Mixed Signals 2022-01-06
Strachey Lecture: The Quest for Truth in the Information Age 2021-11-04
Strachey Lecture: Getting AI Agents to Interact and Collaborate with Us on Our Terms 2021-05-12
Strachey Lecture: How Innovation Works - Serendipity, Energy and the Saving of Time 2021-05-12
Strachey Lecture: Medicine and Physiology in the Age of Dynamics 2020-04-02
Strachey Lecture: Can one Define Intelligence as a Computational Phenomenon? 2019-12-11
Strachey Lecture: Doing for our robots what evolution did for us 2019-03-29
Strachey Lecture: Steps Towards Super Intelligence 2018-12-20
Strachey Lecture: Privacy-preserving analytics in, or out of, the cloud 2018-04-16
12

Comments about Strachey Lectures

comments powered by Disqus
Advertisment: