Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

computer science

# Episode Title Description People Date
1 From classical to non-classical stochastic shortest path problems Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Christel Baier 06 Feb 2024
2 How Can Algorithms Help to Protect our Privacy In this terms 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 Nov 2023
3 Creative Commons Turing 2018/8: Searle versus Turing - Conclusion Lecture 8 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
4 Creative Commons Turing 2018/7: Blockhead, the Chinese Room, and ELIZA Lecture 7 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
5 Creative Commons Turing 2018/6: "Computing Machinery and Intelligence" - Overview of Turing's 1950 paper Lecture 6 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
6 Creative Commons Turing 2018/5: Settling Hilbert's Entscheidungsproblem, and the Halting Problem Lecture 5 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
7 Creative Commons Turing 2018/4: Enumerating the Computable Numbers, and the Universal Turing Machine Lecture 4 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
8 Creative Commons Turing 2018/3: "On Computable Numbers" - Turing's 1936 Paper Lecture 3 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
9 Creative Commons Turing 2018/2: Hilbert's Programme and Gödel's Theorem Lecture 2 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
10 Creative Commons Turing 2018/1: Types of number, Cantor, infinities, diagonal arguments Lecture 1 in Peter Millican's 2018 Turing series. Peter Millican 14 Jan 2021
11 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 Dec 2019
12 Creative Commons John Barnden - Consciousness, metacausation and metadynamism One in a series of talks from the 2019 Models of Consciousness conference. John Barnden 13 Oct 2019
13 Creative Commons Pedro Mediano - Moving beyond integration and differentiation in measures of neural dynamics One in a series of talks from the 2019 Models of Consciousness conference. Pedro Mediano 13 Oct 2019
14 Creative Commons Inês Hipólito - Generative models of the mind: neural connections and cognitive integration One in a series of talks from the 2019 Models of Consciousness conference. Inês Hipólito 13 Oct 2019
15 Creative Commons Gustav Bernroider - Neural sense relations and consciousness: a diagrammatic approach One in a series of talks from the 2019 Models of Consciousness conference. Gustav Bernroider 13 Oct 2019
16 Creative Commons Marc Ebner - A communication-based model of consciousness One in a series of talks from the 2019 Models of Consciousness conference. Marc Ebner 13 Oct 2019
17 Creative Commons Diana Stanciu - An ESR model of consciousness One in a series of talks from the 2019 Models of Consciousness conference. Diana Stanciu 13 Oct 2019
18 Creative Commons Aïda Elamrani - Inputs, outputs, and meta-models One in a series of talks from the 2019 Models of Consciousness conference. Aïda Elamrani 13 Oct 2019
19 Creative Commons Chetan Prakash - Structure Invention by Conscious Agents One in a series of talks from the 2019 Models of Consciousness conference. Chetan Prakash 13 Oct 2019
20 Creative Commons Quanlong Wang - Modelling consciousness divisions in ZW-calculus One in a series of talks from the 2019 Models of Consciousness conference. Quanlong Wang 13 Oct 2019
21 Creative Commons Pierre Baudot - Information cohomology and probabilistic topos for consciousness modeling: from elementary perception to machine learning One in a series of talks from the 2019 Models of Consciousness conference. Pierre Baudot 13 Oct 2019
22 Creative Commons Paul Baird - A model for perceptual states One in a series of talks from the 2019 Models of Consciousness conference. Paul Baird 13 Oct 2019
23 Creative Commons Mauro D’Ariano - Awareness: an operational theoretical approach One in a series of talks from the 2019 Models of Consciousness conference. Mauro D’Ariano 13 Oct 2019
24 Creative Commons Anita Mehta - Chasing memories One in a series of talks from the 2019 Models of Consciousness conference. Anita Mehta 13 Oct 2019
25 Creative Commons Ramón Guevara Erra - Statistical mechanics of consciousness: maximization of information content of neuronal networks is associated with conscious awareness One in a series of talks from the 2019 Models of Consciousness conference. Ramón Guevara Erra 13 Oct 2019
26 Creative Commons Michael Silberstein - Quantum mechanics and the consistency of conscious experience One in a series of talks from the 2019 Models of Consciousness conference. Michael Silberstein 13 Oct 2019
27 Creative Commons Yakov Kremnitzer - Quantum collapse models and awareness One in a series of talks from the 2019 Models of Consciousness conference. Yakov Kremnitzer 13 Oct 2019
28 Creative Commons Adrian Kent - Searching for Physical Models of the Evolution of Consciousness One in a series of talks from the 2019 Models of Consciousness conference. Adrian Kent 13 Oct 2019
29 Creative Commons Ian Durham - Toward a formal model of free will One in a series of talks from the 2019 Models of Consciousness conference. Ian Durham 13 Oct 2019
30 Creative Commons Peter Lloyd - Automata-theoretic approach to modelling consciousness within mental monism One in a series of talks from the 2019 Models of Consciousness conference. Peter Lloyd 13 Oct 2019
31 Creative Commons Tim Palmer - Creativity and Consciousness: A Consequence of the Brain’s Extraordinary Energy Efficiency? One in a series of talks from the 2019 Models of Consciousness conference. Tim Palmer 13 Oct 2019
32 Creative Commons Jonathan Mason - Expected Float Entropy Minimisation: A Relationship Content Theory of Consciousness One in a series of talks from the 2019 Models of Consciousness conference. Jonathan Mason 13 Oct 2019
33 Creative Commons Aaron Sloman - Why current AI and neuroscience fail to replicate or explain ancient forms of spatial reasoning and mathematical consciousness? One in a series of talks from the 2019 Models of Consciousness conference. Aaron Sloman 13 Oct 2019
34 Creative Commons Pedro Resende - Sketches of a mathematical theory of qualia One in a series of talks from the 2019 Models of Consciousness conference. Pedro Resende 13 Oct 2019
35 Creative Commons Peter Grindrod - Large scale simulations of information processing within the human cortex: what “inner life” occurs? One in a series of talks from the 2019 Models of Consciousness conference. Peter Grindrod 13 Oct 2019
36 Creative Commons Camilo Miguel Signorelli - Consciousness interaction, from experiments to a multi-layer model One in a series of talks from the 2019 Models of Consciousness conference. Camilo Miguel Signorelli 13 Oct 2019
37 Creative Commons Sean Tull - Generalised integrated information theories One in a series of talks from the 2019 Models of Consciousness conference. Sean Tull 13 Oct 2019
38 Creative Commons Stuart Hameroff - Anesthetic action on quantum terahertz oscillations in microtubules supports the Orch OR theory of consciousness One in a series of talks from the 2019 Models of Consciousness conference. Stuart Hameroff 13 Oct 2019
39 Creative Commons Sir Roger Penrose - AI, Consciousness, Computation, and Physical Law One in a series of talks from the 2019 Models of Consciousness conference. Roger Penrose 13 Oct 2019
40 Creative Commons Xerxes Arsiwalla - Computing Meaning from Conceptual Structures in Integrated Information Theory One in a series of talks from the 2019 Models of Consciousness conference. Xerxes Arsiwalla 13 Oct 2019
41 Creative Commons Adam Barrett - Integrated information theory: a perspective on `weak’ and `strong’ versions One in a series of talks from the 2019 Models of Consciousness conference. Adam Barrett 13 Oct 2019
42 Creative Commons Johannes Kleiner - On the Mathematical Basis of Models of Consciousness One in a series of talks from the 2019 Models of Consciousness conference. Johannes Kleiner 13 Oct 2019
43 Ethics and Morality of Robotics The future of robotics raises important questions for humanity. Judy Wajcman, Sandra Wachter, Francesca Rossi, Ben Kuipers 18 Jul 2018
44 Creative Commons Formal Reasoning about the Security of Amazon Web Services Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS. Byron Cook 18 Jul 2018
45 Creative Commons The Logic of Real Proofs George Gonthier delivers a lecture at FLoc2018 George Gonthier 16 Jul 2018
46 Looking Backward; Looking Forward An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018 Dana Scott 13 Jul 2018
47 Pseudo deterministic algorithms and proofs In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting. Shafi Goldwasser 13 Jul 2018
48 Creative Commons Continuous Reasoning: Scaling the impact of formal methods Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of the most elusive. Peter O'Hearn 10 Jul 2018
49 How do you teach a robot social cues? As robots are increasingly deployed in settings requiring social interaction we asked the Big Question: How do you teach a robot social cues? To find out we visited Shimon Whiteson, Associate Professor at the Department of Computer Science Shimon Whiteson 19 Jun 2018
50 Where have all the cicada’s gone? In this episode for the Big Questions podcast we went to the New Forest and met up with Professor Alex Rogers, from the department of Computer Sciences from the University of Oxford, to ask: Where have all the cicada’s gone? Alex Rogers 27 Nov 2017
51 Quantum physics and the nature of computing How can we test a quantum computer? An exploration of some of the theoretical puzzles of this field and how we can investigate them with experimental physics. Jelmer Renema 25 Oct 2017
52 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 Aug 2017
53 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 Jun 2017
54 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 Mar 2017
55 Creative Commons How Quantum Theory Can Help Understanding Natural Language In the Quantum Group, we contribute to the field of natural language processing by using methods from mathematics and quantum theory to show how information flows between words in a sentence to give us the meaning of the sentence as a whole. Maaike Zwart 07 Mar 2017
56 How do we stop our social media obsession from making us a target for crime? How vulnerable are we to crime by the statuses we post on our social accounts? Jason Nurse 17 Jan 2017
57 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 08 Nov 2016
58 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 02 Nov 2016
59 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 Feb 2016
60 Creative Commons 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 Nov 2015
61 Creative Commons Antoine Jerusalem on Open Research Data Antoine Jerusalem, Associate Professor at the Department of Engineering Science, talks about the importance of Open Data for his work on the computational modeling of materials and his involvement in the Human Connectome Project. Antoine Jerusalem 15 Jul 2015
62 'Artificial Intelligence' part 3 - Understanding how we learn language Professor Kim Plunkett explains how neuroscientists use artificial intelligence as a tool to model processes in the brain – in particular to understand how infants acquire language. Kim Plunkett 12 Jun 2015
63 Creative Commons Big Data Over the past decade, data-driven science has produced enormous sets of data. Christopher Yau 10 Dec 2014
64 Creative Commons Big Data Over the past decade, data-driven science has produced enormous sets of data. Christopher Yau 10 Dec 2014
65 Creative Commons The Online Revolution: Education for Everyone The 2014 Univ Access Lecture took place on Tuesday 17th June in Merton college. Professor Daphne Koller, co-founder of Coursera and Professor of Computer Science at Stanford University, discussed “The Online Revolution: Education for Everyone”. Daphne Koller, Ivor Crewe 29 Jul 2014
66 A History of Maths at St Anne's Dr Graham Nelson (Supernumerary Fellow and Lecturer in Mathematics), gives a talk for the St Anne's College Maths reunion Graham Nelson 03 Feb 2014
67 Characterisation of Networks The ASC Networks cluster visiting researcher Prof. Richard Wilson (Department of Computer Science, University of York) gives a public lecture on his work on networks at Keble College. Richard Wilson 10 Apr 2013
68 Creative Commons Reproducibility: Gold or Fool's Gold in Digital Social Research? Christine Borgman's Keynote talk from the OII Symposium "Social Science and Digital Research: Interdisciplinary Insights", March 2012. Christine Borgman 28 Mar 2012
69 Digital Social Research: An Interdisciplinary Niche or the Future of the Social Sciences? Peter van den Besselaar's Keynote talk from the OII Symposium "Social Science and Digital Research: Interdisciplinary Insights", March 2012. Peter van den Besselaar 28 Mar 2012
70 Creative Commons Applied Logic The 2011 Wolfson College Haldane Lecture was given by Sir Tony Hoare, Emeritus Professor at Oxford University Computing Laboratory and a principal researcher at Microsoft Research in Cambridge, UK. Sir Tony Hoare 14 Mar 2011