Theory and Semantics Group
The work of the Theory and Semantics Group is centred round mathematical models of a variety of languages and logics. These models are intended to be used as a tool for clarifying programming concepts, as a basis for specification and verification, and for analysing the complexity of computations. We use techniques such as structural operational semantics, domain theory, category theory, finite model theory and linear logic. Work is in progress on the underlying mathematical structures of these, and on their application to the study of higher order typed programming languages, to object-based languages, to foundational languages for concurrent, distributed and mobile computation, to hardware description languages, and to security problems. We work in close collaboration with the Automated Reasoning Group, Programming Research and Systems Research Groups.

Research Themes

Related research themes can also be found on the CPRG and ARG research pages.
Please email updates to mjp41 (Last updated: Sun Dec 31 10:52:13 GMT 2006 )