As a result of my research I am involved in the following research groups and organisations:
Theoretical Aspects of Software Systems (TASS) Research Group at the National University of Ireland, Maynooth
National University of Ireland Maynooth Principles of Programming Research Group
The Formal Methods Alliance at Clemson University, South Carolina and National University of Ireland, Maynooth National University of Ireland
The Irish Formal Methods Special Interest Group (IFMSIG)