Skip to main content »

Trinity College Dublin

Dublin University Crest Department of Computer Science > FMPLG Home Page Trinity College Crest
 FMG Home
 Past Research
 Past People
 Follow fmgtcd on Twitter


FMPLG'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

Email  WebAdmin @