Skip to main content »

Trinity College Dublin

Dublin University Crest Department of Computer Science > FMG Home Page Trinity College Crest
 FMG Home
 Research
 
 Vacancies
 Past Research
 People
 
 Past People
 Seminars
 Foundations@Lero
 
 Follow fmgtcd on Twitter
 
 

Overview

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

Email  WebAdmin @ cs.tcd.ie