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

Peter O'Hearn

Series featuring Peter O'Hearn

  • Federated Logic Conference (FLoC) 2018
# Episode Title Description People Date
1 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