Skip to main content
Home

Main navigation

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

Main navigation

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

floc

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.

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