Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

computer science

Models of Consciousness

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.
Models of Consciousness

Johannes Kleiner - On the Mathematical Basis of Models of Consciousness

One in a series of talks from the 2019 Models of Consciousness conference.
Journey of a Molecular Detective; David Sherratt

Ethics and Morality of Robotics

The future of robotics raises important questions for humanity.
Journey of a Molecular Detective; David Sherratt

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.
Journey of a Molecular Detective; David Sherratt

The Logic of Real Proofs

George Gonthier delivers a lecture at FLoc2018
Journey of a Molecular Detective; David Sherratt

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
Journey of a Molecular Detective; David Sherratt

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.
Journey of a Molecular Detective; David Sherratt

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.
Big Questions - with Oxford Sparks

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
Big Questions - with Oxford Sparks

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?
Oxford Physics Public Lectures

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.
Strachey Lectures

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.
Strachey Lectures

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.
Strachey Lectures

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.
Journey of a Molecular Detective; David Sherratt

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.
Big Questions - with Oxford Sparks

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?
Strachey Lectures

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.
Strachey Lectures

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.
Strachey Lectures

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.
Strachey Lectures

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.

Pagination

  • First page
  • Previous page
  • Page 1
  • Page 2
  • Current page 3
  • Page 4
  • Next page
  • Last page

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford