Skip to main content
Home

Main navigation

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

Main navigation

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

A modelling language approach to defining mathematical structures via semantics

Series
Strachey 100: an Oxford Computing Pioneer
Video Embed
In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach to looking at their meaning is presented.


More in this series

View Series
Journey of a Molecular Detective; David Sherratt

Probabilistic Programming

Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester University computer. He then uses this as a lead in for discussing probabilistic methods of generating algorithms and programs.
Previous
Journey of a Molecular Detective; David Sherratt

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.
Next

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Jane Hillston
Keywords
Process algebras
Markov chains
performance analysis
dynamic systems
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:33:10

Subscribe

Apple Podcast Video Video RSS Feed

Download

Download Video

Footer

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