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

Department of Computer Science

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
Computer Science
# Episode Title Description People Date
1 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
2 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
3 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
4 Creative Commons Strachey Lecture - Quantum Supremacy Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. Scott Aaronson 14 Jun 2016
5 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
6 Creative Commons Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine? Panel discussion to conclude the symposium with Muffy Calder, Valerie Barr, Suw Charman-Anderson, Murray Pittock and Cheryl Praeger. Muffy Calder, Valerie Barr, Suw Charman-Anderson, Murray Pittock 18 Dec 2015
7 Creative Commons Humans, machines, and the future of work Moshe Vardi, Rice University explores the question "If machines are capable of doing almost any work humans can do, what will humans do?". Moshe Vardi 18 Dec 2015
8 Creative Commons Mathematics and culture: geometry and its ‘Figures in the Air’ Judith Grabiner, Pitzer College describes how the 19th century saw radical change, producing new ideas of space, destroying the unchallenging authority of mathematics, revolutionising art, making relativity possible and helping create modernism. Judith Grabiner 18 Dec 2015
9 Creative Commons Imaginary engines In this talk graphic artist and animator Sydney Padua talks about her bestselling graphic novel "The Thrilling Adventures of Lovelace and Babbage". She will also display her 3D animations of how the Analytical Engine would have looked and operated. Sydney Padua 18 Dec 2015
10 Creative Commons The Analytical Engine and the Aeolian Harp In this talk Imogen Forbes-Macphail, University of California, Berkeley, contextualises Lovelace's work on the engines against the backdrop of Romantic thought surrounding the power of poetry and the nature of original composition. Imogen Forbes-Macphail 18 Dec 2015
11 Creative Commons Enchantress of Numbers or a mere debugger?: a brief history of cultural and academic understandings of Ada Lovelace To mark the 200th anniversary of Lovelace's birth, Elizabeth Bruton, Museum of the History of Science, reviews and explores academic and popular representations of Ada Lovelace and engage with the controversy of her claim as the first computer programmer. Elizabeth Bruton, Sally Shuttleworth 18 Dec 2015
12 Creative Commons The mathematical correspondence of Ada Lovelace and Augustus De Morgan During the years 1840-1, Ada Lovelace corresponded with the mathematician Augustus De Morgan. In this talk Christopher Hollings, University of Oxford reports on recent new studies of the mathematics Ada was learning with De Morgan. Christopher Hollings 18 Dec 2015
13 Creative Commons The early education of Ada Byron In this talk Julia Markus, Hofstra University shall dispel the myth that Lady Byron kept Ada from poetry, she will also show that the mother-daughter relationship was a psychological spur to Ada's early experiments. Julia Markus 18 Dec 2015
14 Creative Commons Pythagoras to pacifism: mathematics and archives In this talk June Barrow-Green from the Open University describes some mathematical archives and some of the issues associated with them. Includes an introduction from Vicki Hanson, Vice-President of the ACM. June Barrow-Green, Vicki Hanson 18 Dec 2015
15 Creative Commons Will you concede me Poetical Science? Ada Lovelace had a broad interest in the science and technologies of the day and explored post-Romantic ideas which made a significant link between science and poetry. In this talk Richard Holmes looks at some of these surprising connections. Richard Holmes 18 Dec 2015
16 Creative Commons Ada Lovelace lives forever: Ada’s four questions How Ada approached information is the key to understanding her contribution. In this talk Betty Toole, author of "ADA: The Enchantress of Numbers" focuses on Ada's four questions: What is the source? What does it mean? What if? and Why not? Betty Toole 18 Dec 2015
17 Creative Commons From Byron to the Ada Programming Language John Barnes, Ada software consultant talks about Byron and his bear and the evolution of the computing language named after Ada Lovelace. John Barnes 17 Dec 2015
18 Creative Commons Turning numbers into notes Composer Emily Howard talks to David De Roure about her musical composition 'Ada sketches'. Emily Howard, David De Roure 17 Dec 2015
19 Creative Commons Ada Lovelace, a scientist in the archives Ursula Martin, University of Oxford and Soren Riis, Queen Mary University of London give new focus to letters within the archive of Ada Lovelace's family documents. Includes an introduction by Nick Woodhouse, President of the Clay Mathematics Institute. Soren Riis, Ursula Martin, Nick Woodhouse 17 Dec 2015
20 Creative Commons Notions and notations: designing computers before computing Adrian Johnstone, Royal Holloway, University of London reviews Babbage's remarkable 'Mechanical Notation'. Adrian Johnstone 17 Dec 2015
21 Creative Commons Interpreting dreams of abstract machines Bernard Sufrin, University of Oxford establishes a context of Ada's 'Translators Notes' using more recent descriptions of computing machinery and programming methods. Bernard Sufrin 17 Dec 2015
22 Charles Babbage and Ada Lovelace: two visions of computing Doron Swade, Royal Holloway, University of London reviews the trajectory of Babbage's calculating Engines and examines Ada Lovelace's contribution to computing. Doron Swade 17 Dec 2015
23 Creative Commons Introduction to the Ada Lovelace Symposium Alexander Wolf, President of the Association for Computing Machinery and Imperial College London, introduces the Ada Lovelace Symposium. Alexander Wolf 14 Dec 2015
24 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