FMG's members interests cover the use of mathematical and logical techniques for specifying, modelling and analysing computing artifacts, and the design and use of high-level declarative languages.
The main areas of current active interest are
- Behavioural theories for concurrent and distributed systems
- Hardware compilation languages within the unifying theories of programming framework (UTP)
- Semantics of web-based ontologies
- Pure lazy functional languages, with emphasis on I/O and object-oriented behaviour.
- Category theory as a foundation for formal techniques
Recent work has focussed on:
- Design and analysis of formal specification languages for distributed systems, based on process calculi
- Use of typing systems for access control and migration policies for mobile agents
- Adding object-oriented concepts to pure functional languages
- Formal semantics for the Handel-C language
- exploring mathematical and mechanisable techniques for formal reasoning about the external effects of pure functional programs that perform I/O actions
- the use of topos and sheaf theory as a foundational basis for formal models of distributed systems
- Haskell code generation from Raise specifications
We meet regularly, usually at 11am on Mondays (see the seminars page).