| Privacy, Verification, Robustness: A Cryptographer's perspective on ML |
Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML |
Shafi Goldwasser |
11 March, 2025 |
 |
| From probabilistic bisimulation to representation learning via metrics |
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden |
Prakash Panangaden |
2 December, 2024 |
|
| Strachey Lecture: The Computer in the Sky |
The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications |
Tim Roughgarden |
16 May, 2024 |
|
| Strachey Lecture: From classical to non-classical stochastic shortest path problems |
Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture |
Christel Baier |
6 February, 2024 |
|
| Strachey 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. |
Monika Henzinger |
13 November, 2023 |
|
| Strachey 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”? |
Neil Lawrence |
4 September, 2023 |
|
| Strachey 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 |
Martin Grohe |
16 February, 2023 |
|
| Strachey 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. |
Lise Getoor |
27 October, 2022 |
|
| Strachey 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. |
Yvonne Rogers |
16 March, 2022 |
|
| Strachey Lecture: Mixed Signals |
Mixed Signals: audio and wearable data analysis for health diagnostics |
Cecilia Mascolo |
6 January, 2022 |
|
| Strachey 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. |
Sonja Smets |
4 November, 2021 |
|
| Strachey 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. |
Subbarao Kambhampati |
12 May, 2021 |
|
| Strachey 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. |
Matt Ridley |
12 May, 2021 |
|
| Strachey Lecture: Medicine and Physiology in the Age of Dynamics |
Medicine and Physiology in the Age of Dynamics: Newton Abraham Lecture 2020 |
Alan Garfinkel |
2 April, 2020 |
|
| Strachey 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. |
Lesley Valiant |
11 December, 2019 |
|
| Strachey 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. |
Leslie Kaelbling |
29 March, 2019 |
|
| Strachey 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? |
Rodney Brooks |
20 December, 2018 |
|
| Strachey 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. |
Jon Crowcroft |
16 April, 2018 |
|
| Strachey Lecture: The Continuing Evolution of C++ |
Stroustrup discusses the development and evolution of the C++, one of the most widely used programming languages ever. |
Bjarne Stroustrup |
12 December, 2017 |
|
| Lovelace Lecture: Learning and Efficiency of Outcomes in Games |
Éva Tardos, Department of Computer Science, Cornell University, gives the 2017 Ada Lovelace Lecture on 6th June 2017. |
Éva Tardos, Leslie Goldberg |
22 August, 2017 |
|
| Strachey 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. |
Sarit Kraus |
23 June, 2017 |
|
| Strachey 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. |
Zoubin Ghahramani |
15 March, 2017 |
|
| Oxford University Department of Computer Science: Second Year Group Design Practicals |
Students undertaking undergraduate (first) degrees in Computer Science, Computer Science & Philosophy and Maths & Computer Science undertake a Group Design Practical as a compulsory part of the course. |
Computer Science Students |
8 November, 2016 |
|
| Strachey 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. |
Andrew Hodges, Mike Wooldridge |
2 November, 2016 |
|
| Strachey Lecture: Quantum Supremacy |
Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. |
Scott Aaronson |
14 June, 2016 |
|
| Strachey 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. |
Demis Hassabis |
26 February, 2016 |
|
| Strachey 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. |
Jeremy Gibbons |
17 November, 2015 |
|
