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

Department of Computer Science

Relevant Links

The Department of Computer Science, University of Oxford has one of the longest-established Computer Science departments in the country. It is home to a community of world-class research and teaching. Research activities encompass core Computer Science, as well as computational biology, quantum computing, computational linguistics, information systems, software verification and software engineering. The department is home to undergraduates, full-time and part-time Master's students, and has a strong doctoral programme. The Department currently holds responsibility within the University for all academic aspects of computing; for teaching, basic research and collaboration with other departments and with industry on applied research. Its research attempts both to solve problems by the use of computers and to address problems in the design and programming of computing systems themselves. In both areas it couples rigorous theory with industrial application, with each acting as a strong stimulus to the other, and this is reflected in the teaching.

Series associated with Department of Computer Science

Ada Lovelace Symposium - Celebrating 200 Years of a Computer Visionary
Algebra of Programming
Computer Science
Federated Logic Conference (FLoC) 2018
International Conference on Functional Programming 2017
Models of Consciousness
Strachey 100: an Oxford Computing Pioneer
# Episode Title Description People Date
1 Strachey Lecture: Getting AI Agents to Interact an 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
2 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
3 Medicine and Physiology in the Age of Dynamics Medicine and Physiology in the Age of Dynamics: Newton Abraham Lecture 2020 Alan Garfinkel 02 Apr 2020
4 A Problem for Lambert Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010 Richard Bird 24 Feb 2020
5 An Introduction to the Theory of Lists Lectures at Utrecht University, 16th and 17th December 1986. Richard Bird 24 Feb 2020
6 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
7 Creative Commons Strachey Lecture - The Windmills of Your Mind: Reflections of a Career in Computer Science Research Dame Wendy Hall reflects on her career in computer science research - from intelligent tutoring systems, through multimedia and open hypermedia, to the semantic web, web science, and social machines. Wendy Hall 19 Nov 2019
8 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
9 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
10 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
11 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
12 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
13 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
14 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
15 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
16 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
17 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
18 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
19 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
20 Creative Commons Anita Mehta - Chasing memories One in a series of talks from the 2019 Models of Consciousness conference. Anita Mehta 13 Oct 2019
21 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
22 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
23 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
24 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
25 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
26 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
27 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
28 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
29 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
30 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
31 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
32 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
33 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
34 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
35 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
36 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
37 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
38 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
39 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 Mar 2019
40 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 Dec 2018
41 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
42 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
43 Creative Commons The Logic of Real Proofs George Gonthier delivers a lecture at FLoc2018 George Gonthier 16 Jul 2018
44 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
45 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
46 Unifying Logic and Probability: the BLOG Language Logic and probability are ancient subjects whose unification holds significant potential for the field of artificial intelligence. Stuart Russell 10 Jul 2018
47 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
48 Creative Commons 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 Apr 2018
49 Creative Commons 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 Jan 2018
50 Creative Commons 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 Jan 2018
51 Creative Commons 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 Jan 2018
52 Creative Commons 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 Jan 2018
53 Creative Commons 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 Jan 2018
54 Creative Commons 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 Jan 2018
55 Creative Commons 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 Jan 2018
56 Creative Commons 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 Jan 2018
57 Creative Commons 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 Jan 2018
58 Creative Commons 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 Jan 2018
59 Creative Commons 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 Jan 2018
60 Creative Commons 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 Jan 2018
61 Creative Commons 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 Jan 2018
62 Creative Commons 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 Jan 2018
63 Creative Commons 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 Jan 2018
64 Creative Commons 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 Jan 2018
65 Creative Commons 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 Jan 2018
66 Creative Commons 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 Jan 2018
67 Creative Commons 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 Jan 2018
68 Creative Commons 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 Jan 2018
69 Creative Commons 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 Dec 2017
70 Creative Commons 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 Dec 2017
71 Creative Commons 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 Dec 2017
72 Creative Commons 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 Dec 2017
73 Creative Commons 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 Dec 2017
74 Creative Commons 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 Dec 2017
75 Creative Commons Assuring AI John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference. John Launchbury 18 Dec 2017
76 Creative Commons 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 Dec 2017
77 Creative Commons 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 Dec 2017
78 Creative Commons 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 Dec 2017
79 Creative Commons 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 Dec 2017
80 Creative Commons 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 Dec 2017
81 Creative Commons 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 Dec 2017
82 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 Dec 2017
83 Creative Commons 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 Dec 2017
84 Creative Commons 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 Dec 2017
85 Creative Commons 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 Dec 2017
86 Creative Commons 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 Dec 2017
87 Creative Commons 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 Dec 2017
88 Creative Commons 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 Dec 2017
89 Creative Commons 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 Dec 2017
90 Creative Commons Testing and Debugging Functional Reactive Programming Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. Ivan Perez 12 Dec 2017
91 Creative Commons Super 8 Languages for Making Movies (Functional Pearl) Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference. Leif Andersen 07 Dec 2017
92 Creative Commons Compositional Creativity: Some Principles for Talking to Computers Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference. Chris Martens 05 Dec 2017
93 Creative Commons Chaperone Contracts for Higher-Order Sessions Hernan Melgratti (University of Buenos Aires, Argentina), gives the first talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. Hernan Melgratti 14 Sep 2017
94 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
95 What are types for? Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a number by a string. Jeremy Gibbons 26 Jun 2017
96 Parametric Polymorphism and models of storage In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric polymorphism and abstract models of storage. Uday Reddy 26 Jun 2017
97 Probabilistic Programming Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester University computer. He then uses this as a lead in for discussing probabilistic methods of generating algorithms and programs. Hongseok Yang 26 Jun 2017
98 Christopher Strachey, First-Class Citizen Philip reviews Christopher Strachey’s influence on modern-day functional programming languages. Philip Wadler 26 Jun 2017
99 A modelling language approach to defining mathematical structures via semantics In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach to looking at their meaning is presented. Jane Hillston 26 Jun 2017
100 Greetings to the participants at “Strachey 100” The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn 1969, when he created a mathematical model for the foundation of the method. Dana Scott 26 Jun 2017