I am a member of the High Performance and Distributed Computing research
cluster in the School of Electronics, Electrical Engineering and Computer
Science at Queen's University Belfast. I have a long-held interest in the
pragmatic use of formal specification notations to model and reason about
systems, most recently distributed/grid-based systems and, in particular,
autonomic aspects of such systems. I am involved in two EU-funded projects: ParaPhrase and Cactos. Other current interests
include variability management, particularly in the context of software
product lines and feature modelling; and model-driven engineering. Previously
I have worked in the areas of program transformation, formal methods, and
language design for parallel systems.
A list of my publications can be found here. Also on ResearchGate
(probably the most complete list). And on PURE.