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

Thank you for visiting! Please consider filling out our questionnaire. This will help us improve our service providing free educational media recorded from the University of Oxford. Many thanks!

Click here to access the survey (3 minutes to complete).

Dana Scott

Series featuring Dana Scott

  • Strachey 100: an Oxford Computing Pioneer
  • Federated Logic Conference (FLoC) 2018
# Episode Title Description People Date
1 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 Dana Scott 13 Jul 2018
2 Greetings to the participants at “Strachey 100” The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn 1969, when he created a mathematical model for the foundation of the method. Dana Scott 26 Jun 2017