Skip to main content
Home

Main navigation

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

Main navigation

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

floc

Radcliffe Camera roof against blue sky, with Oxford banner above

Ethics and Morality of Robotics

The future of robotics raises important questions for humanity.
Radcliffe Camera roof against blue sky, with Oxford banner above

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.
Radcliffe Camera roof against blue sky, with Oxford banner above

The Logic of Real Proofs

George Gonthier delivers a lecture at FLoc2018
Radcliffe Camera roof against blue sky, with Oxford banner above

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
Radcliffe Camera roof against blue sky, with Oxford banner above

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.
Radcliffe Camera roof against blue sky, with Oxford banner above

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
  • Login
'Oxford Podcasts' X Account @oxfordpodcasts | Upcoming Talks in Oxford | © 2011-2026 The University of Oxford