Department of Computer Science

The Department of Computer Science, University of Oxford, is consistently recognised as the internationally leading centre of research and teaching across a broad spectrum of computer science, ranging from foundational discoveries to interdisciplinary work with significant real-world impact. The department is proud of its history as one of the longest-established computer science departments in the country, as it continues to provide first-rate undergraduate and postgraduate teaching to some of the world's brightest minds. It enjoys close links with other University departments and Oxford research groups and institutes.

All episodes

Title	Description	People	Date
Will Computers prove theorems?	Kevin Buzzard: Will Computers prove theorems?	Kevin Buzzard	15 May, 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI	Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI	Leo De Moura	15 May, 2025
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
A Problem for Lambert	Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010	Richard Bird	24 February, 2020
An Introduction to the Theory of Lists	Lectures at Utrecht University, 16th and 17th December 1986.	Richard Bird	24 February, 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.	Leslie Valiant	11 December, 2019
John Barnden - Consciousness, metacausation and metadynamism	One in a series of talks from the 2019 Models of Consciousness conference.	John Barnden	13 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
Marc Ebner - A communication-based model of consciousness	One in a series of talks from the 2019 Models of Consciousness conference.	Marc Ebner	13 October, 2019
Diana Stanciu - An ESR model of consciousness	One in a series of talks from the 2019 Models of Consciousness conference.	Diana Stanciu	13 October, 2019
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 October, 2019
Chetan Prakash - Structure Invention by Conscious Agents	One in a series of talks from the 2019 Models of Consciousness conference.	Chetan Prakash	13 October, 2019
Quanlong Wang - Modelling consciousness divisions in ZW-calculus	One in a series of talks from the 2019 Models of Consciousness conference.	Quanlong Wang	13 October, 2019
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 October, 2019
Paul Baird - A model for perceptual states	One in a series of talks from the 2019 Models of Consciousness conference.	Paul Baird	13 October, 2019
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 October, 2019
Anita Mehta - Chasing memories	One in a series of talks from the 2019 Models of Consciousness conference.	Anita Mehta	13 October, 2019
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 October, 2019
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 October, 2019
Yakov Kremnitzer - Quantum collapse models and awareness	One in a series of talks from the 2019 Models of Consciousness conference.	Yakov Kremnitzer	13 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
Sean Tull - Generalised integrated information theories	One in a series of talks from the 2019 Models of Consciousness conference.	Sean Tull	13 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 2019
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 October, 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
Ethics and Morality of Robotics	The future of robotics raises important questions for humanity.	Judy Wajcman, Sandra Wachter, Francesca Rossi, Ben Kuipers, Matthias Scheutz, Jeanette Wing, Luciano Floridi	18 July, 2018
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 July, 2018
The Logic of Real Proofs	George Gonthier delivers a lecture at FLoc2018	George Gonthier	16 July, 2018
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 July, 2018
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 July, 2018
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 July, 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
Inferring Scope through Syntactic Sugar	Justin Pombrio (Brown University, USA) gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference.	Justin Pombrio	23 January, 2018
Automating Sized-Type Inference for Complexity Analysis	Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference.	Martin Avanzini	23 January, 2018
Constrained Type Families	Richard A. Eisenberg (Bryn Mawr College, USA) gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICFP conference.	Richard A Eisenberg	23 January, 2018
Gradual Typing with Union and Intersection Types	Victor Lanvin (ENS Cachan, France) gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference.	Victor Lanvin	23 January, 2018
On Polymorphic Gradual Typing	Yuu Igarashi (Kyoto University, Japan) gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference.	Yuu Igarashi	22 January, 2018
Theorems for Free for Free: Parametricity, With and Without Types	Amal Ahmed (Northeastern University, USA) gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference.	Amal Ahmed	22 January, 2018
Gradual Session Types	Peter Thiemann (University of Freiburg, Germany) gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference.	Peter Thiemann	22 January, 2018
Manifest Sharing with Session Types	Stephanie Balzer (Carnegie Mellon University, USA) gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference.	Stephanie Balzer	22 January, 2018
Whip: Higher-Order Contracts for Modern Services	Lucas Waye (Harvard University, USA), gives the second talk in the third panel, Contracts and Sessions , on the 3rd day of the ICFP conference.	Lucas Waye	22 January, 2018
A Metaprogramming Framework for Formal Verification	Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference.	Sebastian Ullrich	17 January, 2018
Normalization by Evaluation for Sized Dependent Types	Andreas Abel (University of Gothenburg, Sweden), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference.	Andreas Abel	17 January, 2018
A Specification for Dependent Types in Haskell	Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference.	Antoine Vizard	17 January, 2018
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)	Robby Findler (Northwestern University, USA), gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICFP conference.	Robby Findler	17 January, 2018
Visitors Unchained	Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference.	François Pottier	17 January, 2018
Compiling to Categories	Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference.	Conal Elliott	16 January, 2018
Local Refinement Typing	Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference.	Benjamin Cosman	16 January, 2018
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools	Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference.	Konstantin Weitz	15 January, 2018
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification	Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification	Muralidaran Vijayaraghavan	15 January, 2018
No-Brainer CPS Conversion	Milo Davis (Northeastern University, USA) gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP.	Milo Davis	15 January, 2018
Foundations of Strong Call by Need	Thibaut Balabonski (LRI, France and University of Paris-Sud, France) gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference.	Thibaut Balabonski	15 January, 2018
How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation	Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference.	Makoto Hamana	18 December, 2017
Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols	Geoffrey Mainland (Drexel University, USA) gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.	Geoffrey Mainland	18 December, 2017
Verifying Efficient Function Calls in CakeML	Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.	Scott Owens	18 December, 2017
A Relational Logic for Higher-Order Programs	Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference.	Alejandro Aguirre	18 December, 2017
Verified Low-Level Programming Embedded in F	Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.	Jonathan Protzen	18 December, 2017
Persistence for the Masses: RRB-Vectors in a Systems Language	Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference.	Juan Pedro Bolívar Puente	18 December, 2017
Assuring AI	John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference.	John Launchbury	18 December, 2017
Effect-Driven QuickChecking of Compilers	Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark.	Jan Midtgaard	18 December, 2017
Imperative Functional Programs that Explain their Work	Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK.	Jan Stolarek	18 December, 2017
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control	Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICFP 2017 conference.	Ohad Kammar	13 December, 2017
Abstracting Definitional Interpreters	David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phuc C. Nguyen, University of Maryland, USA.	David Darais	13 December, 2017
Symbolic Conditioning of Arrays in Probabilistic Programs	Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA.	Praveen Narayanan	13 December, 2017
A Framework for Adaptive Differential Privacy	Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA.	Daniel Winograd-Cort	13 December, 2017
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
Prototyping a Query Compiler using Coq (Experience Report)	Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA.	Louis Mandel	12 December, 2017
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)	William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.	William E Byrd	12 December, 2017
Generic Functional Parallel Algorithms: Scan and FFT	Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.	Conal Elliott	12 December, 2017
A Pretty But Not Greedy Printer (Functional Pearl)	Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.	Jean-Philippe Bernardy	12 December, 2017
Faster Coroutine Pipelines	Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.	Mike Spivey	12 December, 2017
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC	Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference.	Roberto Di Cosmo	12 December, 2017
Lock-Step Simulation Is Child's Play (Experience Report)	Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA.	Joachim Breiner	12 December, 2017

Department of Computer Science

Related

Series in this collection

Algebra of Programming

Models of Consciousness

Federated Logic Conference (FLoC) 2018

International Conference on Functional Programming 2017

Strachey 100: an Oxford Computing Pioneer

Ada Lovelace Symposium - Celebrating 200 Years of a Computer Visionary

Strachey Lectures

All episodes