Research objectives and content
The aim of this project is to formulate a mathematical theory of 'well behaved' operational semantics, complementing the established theory of domains and denotational semantics to form a coherent whole. The project is based on the categorical approach to operational semantics introduced in my thesis, which builds on G. Plotkin's (Edinburgh University) structural operational semantics - today's predominant approach to operational semantics and a fundamental tool for language design and verification.
Training content (objective, benefit and expected impact)
I will continue my extremely fruitful collaboration with Prof Gordon Plotkin , - one of the world's leading researchers in semantics - and his group, profiting from their exceptional experience m the field. I will also profit from / contacts with Prof Samson Abramsky's group. Links with industry / industrial relevance (22)
This is a theoretical project, but, just like structural operational semantics is a fundamental tool for language design and verification, we expect this project will have a direct practical impact, eg, in modular compiler development technology.